Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

npmjs.org namespaces: hyperpolymath

View the packages within the hyperpolymath namespace on the npmjs.org package registry, including their maintainers and dependencies.

@hyperpolymath/proven 0.9.0
Proven - Formally verified safety library for JavaScript
1 version - Latest release: 14 days ago - 34 downloads last month
@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: 14 days ago