Skip to content

Releases: hyperpolymath/proven

Proven v1.0.0

12 Jan 16:01
@hyperpolymath hyperpolymath
Immutable release. Only release title and notes can be modified.
v1.0.0
ec2969e

Choose a tag to compare

View all tags
Proven v1.0.0 Latest
Latest

Proven v1.0.0

Formally verified safety library with bindings for all major programming languages.

Highlights

  • 25+ verified modules covering arithmetic, strings, JSON, URLs, cryptography, and more
  • Proofs of totality and correctness via Idris 2 dependent types
  • Zig FFI bridge providing stable C ABI
  • Bindings for Python, Rust, JavaScript, TypeScript, Deno, and 35+ other languages

Install

Rust: cargo add proven
Python: pip install proven
Deno: deno add @hyperpolymath/proven
npm: npm install @proven/javascript

Documentation

License

PMPL-1.0 (Palimpsest Modified Public License)

Assets 3
Loading