verified-computing

Here are 5 public repositories matching this topic...

pcpet / intervalNets

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 10, 2026
Jupyter Notebook

Mangomunchr / farpy-public

Star

Verified GPU compute for humans, applications, and agents.

blender mcp rendering distributed-computing render developer-tools gpu-computing ai-agents verified-computing

Updated Aug 13, 2026
TypeScript

alpibrusl / noether

Star

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

nickharris808 / interval-core

Star

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

kyoai-zhao / pyball

Star

Rigorous ball/interval arithmetic for Python: sound enclosures with documented directed-rounding guarantees, plus certified interval-Newton root isolation.

python numpy interval-arithmetic rigorous-numerics verified-computing ball-arithmetic certified-computing

Updated Aug 14, 2026
Python

Improve this page

Add a description, image, and links to the verified-computing topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the verified-computing topic, visit your repo's landing page and select "manage topics."

Learn more