{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:npm/%40hyperpolymath/proven-rescript","name":"@hyperpolymath/proven-rescript","description":"ReScript bindings for Proven - code that cannot crash. Calls Idris 2 verified code via Zig WASM ABI.","version":"0.9.0","softwareVersion":"0.9.0","license":"https://spdx.org/licenses/SSPL-1.0","codeRepository":"https://github.com/hyperpolymath/proven","url":"https://github.com/hyperpolymath/proven#readme","keywords":["rescript","proven","safety","verified","math","crypto","validation"],"maintainer":[{"@type":"Person","name":"hyperpolymath"}],"author":[{"@type":"Person","name":"hyperpolymath"}],"copyrightHolder":[{"@type":"Person","name":"hyperpolymath"}],"dateCreated":"2026-01-16","dateModified":"2026-01-16","datePublished":"2026-01-16","copyrightYear":2026,"downloadUrl":"https://registry.npmjs.org/@hyperpolymath/proven-rescript/-/proven-rescript-0.9.0.tgz","applicationCategory":"npm","runtimePlatform":"npm","sameAs":["https://www.npmjs.com/package/@hyperpolymath/proven-rescript"]}