Data

Tools

Indexes

Applications

Experiments

Packages

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

@isl-lang/verifier

Evidence-first, deterministic verification engine for ISL specifications

Ecosystem
npmjs.org
Latest Release
0.1.1
about 2 months ago
Versions
2
Downloads
148 last month
0.1.1
Published: about 2 months ago
Registry - Download sha512-spVx4+eykfgYK...
0.1.0
Published: about 2 months ago
Registry - Download sha512-eUeLydHJ8hjhx...
Links
Registry npmjs.org
Source Repository
Homepage Homepage
JSON API View JSON
CodeMeta codemeta.json
Package Details
PURL pkg:npm/%40isl-lang/verifier
spec
License MIT
Namespace isl-lang
First Release about 2 months ago
Last Synced 25 days ago
Keywords
isl verification evidence deterministic contracts