Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "refinement-types" keyword
lsts 0.6.34 💰
Large Scale Type Systems125 versions - Latest release: 11 months ago - 37.8 thousand downloads total - 99 stars on GitHub - 1 maintainer
oyi 0.1.1
The initial implementation of the Oyi programming language2 versions - Latest release: about 3 years ago - 867 downloads total - 1 maintainer
pets 0.1.2
Predicate existential types.1 version - Latest release: over 4 years ago - 594 downloads total - 1 maintainer
finery 0.0.0
Refinement types?1 version - Latest release: almost 5 years ago - 663 downloads total - 1 maintainer
Related Keywords
logic
1
type
1
theorem
1
automated
1
proof
1
assisted-reasoning
1
ast
1
category-theory
1
compiler
1
dependent-types
1
error-reporting
1
lambda-calculus
1
lambda-calculus-interpreter
1
language
1
lexer
1
lint
1
lsts
1
parser
1
proof-assistant
1
rust
1
theorem-prover
1
type-checking
1
oyi
1
oyi-lang
1
affine-types
1
functional
1
precondition
1
predicate
1
types
1
type-theory
1
refinement-typing
1
typing
1