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 "refinement-types" keyword

@typesugar/contracts-refined 0.1.0
🧊 Integrate @typesugar/contracts with @typesugar/type-system refinement types — single source of ...
1 version - Latest release: 6 days ago - 36 downloads last month - 1 maintainer
@isl-lang/isl-smt 0.1.1
SMT solver integration for ISL - satisfiability checking for preconditions, postconditions, and r...
1 version - Latest release: 17 days ago - 1 maintainer
clank-lang 0.1.0 deprecated
The first compiler designed for LLM agents. AST JSON in, machine-actionable repairs out.
1 version - Latest release: about 1 month ago
Related Keywords
typescript 2 macros 1 contracts 1 type-system 1 integration 1 isl 1 smt 1 z3 1 verification 1 satisfiability 1 preconditions 1 postconditions 1 compiler 1 language 1 llm 1 agent 1 ast 1