tag:github.com,2008:https://github.com/hyperpolymath/proven/releases 2026-01-24T09:33:13Z tag:github.com,2008:Repository/1131670029/v0.9.1 2026-01-24T09:33:13Z <ul> <li>Fix dune-project lang declaration order</li> <li>Use SPDX-compliant Apache-2.0 license</li> <li>Resolves opam-repository build failures</li> </ul> invalid-email-address tag:github.com,2008:Repository/1131670029/v0.5.0 2026-01-17T19:56:01Z <p>Major expansion:</p> <ul> <li>Zig FFI: 87 modules in 12 categories (Core, Encoding, Data Format, Numeric, Data Structure, Resilience, State, Algorithm, Security, Infrastructure, HTTP/Web, Protocol)</li> <li>ReScript: 87 modules with full type-safe bindings</li> <li>Propagated to 90 binding targets</li> </ul> <p>Zig 0.16.0-dev compatibility:</p> <ul> <li>Updated build.zig for new stdlib API</li> <li>Fixed 13 compilation errors</li> </ul> <p>See STATE.scm for full changelog.</p> hyperpolymath tag:github.com,2008:Repository/1131670029/v0.9.0 2026-01-16T20:31:14Z <p>Release v0.9.0 - Multi-language bindings</p> hyperpolymath tag:github.com,2008:Repository/1131670029/v1.0.0 2026-01-12T16:01:09Z <h2>Proven v1.0.0</h2> <p>Formally verified safety library with bindings for all major programming languages.</p> <h3>Highlights</h3> <ul> <li>25+ verified modules covering arithmetic, strings, JSON, URLs, cryptography, and more</li> <li>Proofs of totality and correctness via Idris 2 dependent types</li> <li>Zig FFI bridge providing stable C ABI</li> <li>Bindings for Python, Rust, JavaScript, TypeScript, Deno, and 35+ other languages</li> </ul> <h3>Install</h3> <p><strong>Rust</strong>: <code>cargo add proven</code><br> <strong>Python</strong>: <code>pip install proven</code><br> <strong>Deno</strong>: <code>deno add @hyperpolymath/proven</code><br> <strong>npm</strong>: <code>npm install @proven/javascript</code></p> <h3>Documentation</h3> <ul> <li><a href="https://github.com/hyperpolymath/proven#readme">README</a></li> <li><a href="https://arxiv.org/abs/2501.XXXXX" rel="nofollow">arXiv Paper</a> <em>(pending)</em></li> </ul> <h3>License</h3> <p>PMPL-1.0 (Palimpsest Modified Public License)</p> hyperpolymath