npmjs.org : @hyperpolymath/proven-rescript
ReScript bindings for Proven - code that cannot crash. Calls Idris 2 verified code via Zig WASM ABI.
Registry
-
Source
- Homepage
- JSON
- codemeta.json
purl: pkg:npm/%40hyperpolymath/proven-rescript
Keywords:
rescript
, proven
, safety
, verified
, math
, crypto
, validation
License: SSPL-1.0
Latest release: 14 days ago
First release: 14 days ago
Namespace: hyperpolymath
Last synced: 4 days ago
Loading...
Readme
Loading...