alpibrusl / noether Star 1 Code Issues Pull requests Verified composition platform for AI agents. Content-addressed stages, structural typing, Nix execution. rust nix composition webassembly type-system content-addressed ai-agents llm verified-computing stage-registry Updated Jul 20, 2026 Rust
pcpet / intervalNets Star 1 Code Issues Pull requests Interval arithmetic toolkit for PyTorch with certified interval forward passes, Jacobian bounds, and Lp/W1p norm enclosures. machine-learning pytorch neural-networks formal-methods interval-arithmetic numerical-analysis robustness sobolev-space-norm verified-computing Updated Aug 2, 2026 Jupyter Notebook
nickharris808 / interval-core Star 0 Code Issues Pull requests Validated interval arithmetic with directed outward rounding. Enclosures you can build a proof on, plus the self-check that proves they hold. python formal-methods rounding numerics interval-arithmetic branch-and-bound verified-computing validated-numerics Updated Jul 29, 2026 Python