palimpsest
Code that cannot crash. Formally verified library for safe math, crypto, parsing, and validation. Call from Python, Rust, JavaScript, Go — any language.