crates.io "refinement-types" keyword
View the packages on the crates.io package registry that are tagged with the "refinement-types" keyword.
lsts 0.6.34 💰
Large Scale Type Systems125 versions - Latest release: about 2 years ago - 129 thousand downloads total - 99 stars on GitHub - 1 maintainer
pets 0.1.2
Predicate existential types.1 version - Latest release: almost 6 years ago - 1.58 thousand downloads total - 1 maintainer
finery 0.0.0
Refinement types?1 version - Latest release: about 6 years ago - 1.59 thousand downloads total - 1 maintainer
oyi 0.1.1
The initial implementation of the Oyi programming language2 versions - Latest release: over 4 years ago - 3.15 thousand downloads total - 1 maintainer
refined_type 0.6.0
A library for imbuing rules into types and elevating them to more robust types58 versions - Latest release: 8 months ago - 54.2 thousand downloads total - 74 stars on GitHub - 1 maintainer
Related Keywords
rust
2
type
1
predicate
1
precondition
1
types
1
typing
1
refinement-typing
1
type-theory
1
functional
1
oyi
1
oyi-lang
1
affine-types
1
crate
1
crates-io
1
library
1
refined-types
1
runtime-validation
1
rust-lang
1
safety
1
static-typing
1
type-library
1
validation
1
theorem
1
automated
1
proof
1
logic
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
theorem-prover
1
type-checking
1