4 projects
zeroproofml
Signed Common Meadow arithmetic for stable machine learning
pyblackwell
Blackwell approachability primitives for finite vector-payoff games.
nervecode
Intrinsic surprise scoring for PyTorch via statistical coding.
ultrastable
Local-first, audit-grade stability/guard library for AI agents (with optional robotics extras)
