{"id":12700575,"name":"@hyperpolymath/proven-rescript","ecosystem":"npm","description":"ReScript bindings for Proven - code that cannot crash. Calls Idris 2 verified code via Zig WASM ABI.","homepage":"https://github.com/hyperpolymath/proven#readme","licenses":"PMPL-1.0","normalized_licenses":["SSPL-1.0"],"repository_url":"https://github.com/hyperpolymath/proven","keywords_array":["rescript","proven","safety","verified","math","crypto","validation"],"namespace":"hyperpolymath","versions_count":1,"first_release_published_at":"2026-01-16T20:49:19.751Z","latest_release_published_at":"2026-01-16T20:49:19.751Z","latest_release_number":"0.9.0","last_synced_at":"2026-03-29T21:48:18.133Z","created_at":"2026-01-22T05:56:16.922Z","updated_at":"2026-03-29T21:48:18.133Z","registry_url":"https://www.npmjs.com/package/@hyperpolymath/proven-rescript","install_command":"npm install @hyperpolymath/proven-rescript","documentation_url":null,"metadata":{"funding":null,"dist-tags":{"latest":"0.9.0"}},"repo_metadata":{},"repo_metadata_updated_at":null,"dependent_packages_count":0,"downloads":null,"downloads_period":"last-month","dependent_repos_count":0,"rankings":{"downloads":null,"dependent_repos_count":22.65442193193536,"dependent_packages_count":32.65377831772817,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":27.654100124831764},"purl":"pkg:npm/%40hyperpolymath/proven-rescript","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/npm/@hyperpolymath/proven-rescript","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/npm/@hyperpolymath/proven-rescript","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/npm/@hyperpolymath/proven-rescript/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/@hyperpolymath%2Fproven-rescript/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/@hyperpolymath%2Fproven-rescript/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/@hyperpolymath%2Fproven-rescript/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/@hyperpolymath%2Fproven-rescript/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/@hyperpolymath%2Fproven-rescript/codemeta","maintainers":[{"uuid":"hyperpolymath","login":"hyperpolymath","name":null,"email":"jonathan.jewell@gmail.com","url":null,"packages_count":3,"html_url":"https://www.npmjs.com/~hyperpolymath","role":null,"created_at":"2026-02-26T22:03:47.793Z","updated_at":"2026-02-26T22:03:47.793Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/maintainers/hyperpolymath/packages"}]}