crates.io "type-theory" keyword
View the packages on the crates.io package registry that are tagged with the "type-theory" keyword.
voile-util 0.2.2
Utilities extracted from Voile language's type-checker15 versions - Latest release: almost 6 years ago - 2 dependent packages - 50.1 thousand downloads total - 99 stars on GitHub - 1 maintainer
l1_ir 💰
L1 Intermediate Representation52 versions - Latest release: 7 days ago - 2 dependent packages - 1 dependent repositories - 62.7 thousand downloads total - 7 stars on GitHub - 1 maintainer
finery 0.0.0
Refinement types?1 version - Latest release: over 6 years ago - 1.81 thousand downloads total - 1 maintainer
mihama 0.0.1
A Modern Functional and Dependent Type Programming Language Base on Rust1 version - Latest release: 7 months ago - 736 downloads total - 4 stars on GitHub - 1 maintainer
nar 0.0.8
Narc, a dependently-typed programming language with dependent pattern matching8 versions - Latest release: almost 6 years ago - 11.9 thousand downloads total - 80 stars on GitHub - 1 maintainer
n-functor 0.2.1
Faux-derive a `map` function for types with one or more type parameters.3 versions - Latest release: 5 months ago - 2.49 thousand downloads total - 2 stars on GitHub - 1 maintainer
minitt 0.4.3
Mini-TT, a dependently-typed lambda calculus, extended and (re)implemented in Rust42 versions - Latest release: about 5 years ago - 57.8 thousand downloads total - 119 stars on GitHub - 1 maintainer
pikelet 0.0.0
A friendly little systems language with first-class types.1 version - Latest release: over 7 years ago - 1.89 thousand downloads total - 610 stars on GitHub - 1 maintainer
qbar 0.0.0
the rational proof assistant1 version - Latest release: about 5 years ago - 1.56 thousand downloads total - 2 stars on GitHub - 1 maintainer
strict_encoding_test 2.8.0 💰
Helper functions for testing strict encodings18 versions - Latest release: 12 months ago - 6 dependent packages - 6 dependent repositories - 28.9 thousand downloads total - 11 stars on GitHub - 1 maintainer
minitt-util 0.2.4
CLI Utilities extracted from Mini-TT language's type-checker7 versions - Latest release: about 5 years ago - 5 dependent packages - 42.5 thousand downloads total - 119 stars on GitHub - 1 maintainer
kind2 0.3.10
A pure functional functional language that uses the HVM.65 versions - Latest release: over 2 years ago - 74.6 thousand downloads total - 3,493 stars on GitHub - 3 maintainers
strict_encoding_derive 2.8.0 💰
Strict encoding derivation macros28 versions - Latest release: 12 months ago - 7 dependent packages - 42 dependent repositories - 284 thousand downloads total - 11 stars on GitHub - 1 maintainer
strict_encoding 2.9.1 💰
Strict encoding: deterministic & confined binary serialization for strict types104 versions - Latest release: 6 months ago - 67 dependent packages - 43 dependent repositories - 363 thousand downloads total - 11 stars on GitHub - 1 maintainer
sigma-types 0.3.7
Types checked for an invariant.30 versions - Latest release: 8 months ago - 21.9 thousand downloads total - 2 stars on GitHub - 1 maintainer
voile 0.2.6
Voile, a dependently-typed row-polymorphic programming language31 versions - Latest release: about 5 years ago - 39.9 thousand downloads total - 99 stars on GitHub - 1 maintainer
Related Keywords
dependent-types
7
programming-language
7
rust
7
functional-programming
5
functional
3
type-safety
3
serialization-library
3
serialization-format
3
gadt
3
category-theory
3
language
2
strict-encoding
2
rust-lang
2
proc-macro
2
proof-assistant
2
compiler
2
extensible
2
rational-deduction
1
qbar
1
test-helpers
1
natural-deduction
1
logic
1
formal-verification
1
deduction
1
formality
1
testing-tools
1
test
1
invariants
1
invariant
1
testing
1
no_std
1
no-std
1
mathematics
1
math
1
strict-types
1
serde
1
protobuf
1
serialization
1
theorem-prover
1
proof-languages
1
proof-language
1
moonad
1
lambda-calculus
1
parser
1
dependent-type
1
types
1
refinement-typing
1
refinement-types
1
typing
1
whole-program-analysis
1
typed-lambda-calculus
1
lsts
1
just-in-time
1
intermediate-representation
1
intermediate-language
1
abstract-syntax-tree
1
ir
1
ast
1
interpreter
1
jit
1
typechecker
1
type-system
1
systems-programming
1
systems-language
1
dependent-records
1
dependent-record-types
1
bidirectional-typechecking
1
n-functors
1
n-functor
1
functors
1
bifunctors
1
bifunctor
1
map
1
macro
1
horror
1
functor
1
pattern-matching
1