npmjs.org : @hyperpolymath/proven
Proven - Formally verified safety library for JavaScript
Registry
-
Source
- Homepage
- JSON
- codemeta.json
purl: pkg:npm/%40hyperpolymath/proven
Keywords:
proven
, safe
, verified
, uuid
, currency
, money
, phone
, hex
, validation
, parsing
, idris
, formal-verification
License: SSPL-1.0
Latest release: 14 days ago
First release: 14 days ago
Namespace: hyperpolymath
Downloads: 34 last month
Last synced: 4 days ago
@hyperpolymath/proven-rescript 0.9.0
ReScript bindings for Proven - code that cannot crash. Calls Idris 2 verified code via Zig WASM ABI.1 version - Latest release: 15 days ago