@hyperpolymath/proven-rescript

v0.9.0npm· JavaScript

ReScript bindings for Proven - code that cannot crash. Calls Idris 2 verified code via Zig WASM ABI.

The verdict

Maintained. Maintained, actively maintained.

Live from the npm registry · derived rules, not AI

How it scores

MaintenanceHealthy

PopularityUnknown

SecurityClean

LicenseOther

DepsLean

Maintenance

Last published 5 months ago.

Popularity

Download count unavailable.

Security

No known advisories for this version (OSV).

License

PMPL-1.0

Dependencies

2 direct dependencies

Recent releases