crates.io "type-theory" keyword
View the packages on the crates.io package registry that are tagged with the "type-theory" keyword.
sigma-types 0.3.7
Types checked for an invariant.30 versions - Latest release: 5 months ago - 18.3 thousand downloads total - 2 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
strict_encoding 2.9.1 💰
Strict encoding: deterministic & confined binary serialization for strict types104 versions - Latest release: 2 months ago - 67 dependent packages - 43 dependent repositories - 339 thousand downloads total - 10 stars on GitHub - 1 maintainer
strict_encoding_test 2.8.0 💰
Helper functions for testing strict encodings18 versions - Latest release: 9 months ago - 6 dependent packages - 6 dependent repositories - 26.3 thousand downloads total - 10 stars on GitHub - 1 maintainer
strict_encoding_derive 2.8.0 💰
Strict encoding derivation macros28 versions - Latest release: 9 months ago - 7 dependent packages - 42 dependent repositories - 271 thousand downloads total - 10 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
mihama 0.0.1
A Modern Functional and Dependent Type Programming Language Base on Rust1 version - Latest release: 4 months ago - 498 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
finery 0.0.0
Refinement types?1 version - Latest release: about 6 years ago - 1.59 thousand downloads total - 1 maintainer
qbar 0.0.0
the rational proof assistant1 version - Latest release: almost 5 years ago - 1.36 thousand downloads total - 2 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
l1_ir 💰
L1 Intermediate Representation52 versions - Latest release: 26 days ago - 2 dependent packages - 1 dependent repositories - 55 thousand downloads total - 7 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
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
Related Keywords
programming-language
7
rust
7
dependent-types
7
functional-programming
5
category-theory
3
gadt
3
type-safety
3
serialization-library
3
serialization-format
3
language
2
extensible
2
rust-lang
2
compiler
2
strict-encoding
2
functional
2
proof-assistant
2
jit
1
interpreter
1
typechecker
1
type-system
1
systems-programming
1
systems-language
1
dependent-records
1
dependent-record-types
1
bidirectional-typechecking
1
rational-deduction
1
mathematics
1
ast
1
ir
1
abstract-syntax-tree
1
intermediate-language
1
intermediate-representation
1
just-in-time
1
lsts
1
typed-lambda-calculus
1
whole-program-analysis
1
formality
1
lambda-calculus
1
moonad
1
proof-language
1
proof-languages
1
theorem-prover
1
testing
1
math
1
no_std
1
no-std
1
invariant
1
invariants
1
test
1
testing-tools
1
protobuf
1
serde
1
serialization
1
strict-types
1
test-helpers
1
proc-macro
1
dependent-type
1
parser
1
pattern-matching
1
types
1
typing
1
refinement-types
1
refinement-typing
1
deduction
1
formal-verification
1
logic
1
natural-deduction
1
qbar
1