crates.io "dependent-types" keyword
View the packages on the crates.io package registry that are tagged with the "dependent-types" keyword.
typed_grid_macro 0.1.12
Macro generator for typed grid navigation12 versions - Latest release: about 2 months ago - 3.37 thousand downloads total - 1 stars on GitHub - 1 maintainer
typed_grid 0.1.12
Macro generator for typed grid navigation9 versions - Latest release: about 2 months ago - 2.52 thousand downloads total - 1 stars on GitHub - 1 maintainer
fathom 0.0.0
A declarative binary data description language.1 version - Latest release: about 5 years ago - 2 dependent repositories - 1.5 thousand downloads total - 264 stars on GitHub - 1 maintainer
imprint 0.2.0
Type-level manipulation of values.2 versions - Latest release: over 8 years ago - 3.56 thousand downloads total - 3 stars on GitHub - 1 maintainer
voile 0.2.6
Voile, a dependently-typed row-polymorphic programming language31 versions - Latest release: almost 5 years ago - 36.9 thousand downloads total - 97 stars on GitHub - 1 maintainer
kontroli 0.4.0
Type checking for the lambda-Pi calculus modulo rewriting5 versions - Latest release: about 3 years ago - 1 dependent package - 6.74 thousand downloads total - 21 stars on GitHub - 1 maintainer
kocheck 0.4.2
Type checker for the lambda-Pi calculus modulo rewriting7 versions - Latest release: over 1 year ago - 7.99 thousand downloads total - 21 stars on GitHub - 1 maintainer
dedukti-parse 0.3.1
Parser for the Dedukti file format4 versions - Latest release: about 3 years ago - 1 dependent package - 1 dependent repositories - 6.42 thousand downloads total - 21 stars on GitHub - 1 maintainer
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
voile-util 0.2.2
Utilities extracted from Voile language's type-checker15 versions - Latest release: over 5 years ago - 2 dependent packages - 47.9 thousand downloads total - 97 stars on GitHub - 1 maintainer
kers 0.1.0
Dependently type Object-Oriented Data Script1 version - Latest release: over 1 year ago - 1.3 thousand downloads total - 0 stars on GitHub - 1 maintainer
nar 0.0.8
Narc, a dependently-typed programming language with dependent pattern matching8 versions - Latest release: over 5 years ago - 10.6 thousand downloads total - 80 stars on GitHub - 1 maintainer
pikelet 0.0.0
A friendly little systems language with first-class types.1 version - Latest release: about 7 years ago - 1.68 thousand downloads total - 610 stars on GitHub - 1 maintainer
kind2 0.3.10
A pure functional functional language that uses the HVM.65 versions - Latest release: about 2 years ago - 66.8 thousand downloads total - 3,493 stars on GitHub - 3 maintainers
minitt 0.4.3
Mini-TT, a dependently-typed lambda calculus, extended and (re)implemented in Rust42 versions - Latest release: almost 5 years ago - 51.9 thousand downloads total - 119 stars on GitHub - 1 maintainer
mononym 0.1.0
Type-level named values with partial dependent type support in Rust1 version - Latest release: over 3 years ago - 1.36 thousand downloads total - 57 stars on GitHub - 1 maintainer
minitt-util 0.2.4
CLI Utilities extracted from Mini-TT language's type-checker7 versions - Latest release: almost 5 years ago - 5 dependent packages - 41.1 thousand downloads total - 119 stars on GitHub - 1 maintainer
rlfsc 0.2.2
A checker for the LFSC proof language10 versions - Latest release: over 4 years ago - 11.8 thousand downloads total - 1 stars on GitHub - 1 maintainer
Related Keywords
rust
9
type-theory
7
programming-language
7
typechecker
4
logic
4
language
4
type-checking
3
rewriting
3
dedukti
3
compiler
3
parser
2
proof-assistant
2
type-checker
2
type-system
2
extensible
2
dependent-record-types
2
verification
2
theorem-prover
2
lambda-calculus
2
systems-language
1
dependent-records
1
bidirectional-typechecking
1
pattern-matching
1
parsing
1
typechecking
1
types
1
binary-data
1
systems-programming
1
functional
1
formality
1
functional-programming
1
proof-checker
1
smt
1
lfsc
1
proof-languages
1
moonad
1
proof-language
1
binary-format
1
data-description-language
1
declarative
1
dsl
1
statically-typed
1
type
1
theorem
1
automated
1
proof
1
assisted-reasoning
1
ast
1
category-theory
1
error-reporting
1
lambda-calculus-interpreter
1
lexer
1
lint
1
lsts
1
refinement-types
1