Code that cannot crash. Formally verified library for safe math, crypto, parsing, and validation. Call from Python, Rust, JavaScript, Go — any language.
http registry dependent-types cryptography zig ffi call oci digest safety abi url-parsing type-safety proofs formal-verification verified-programming palimpsest idris2 totality hyperpolymath
-
Updated
May 3, 2026 - Idris