crates.io "dependent-types" keyword
pikelet 0.0.0
A friendly little systems language with first-class types.1 version - Latest release: about 8 years ago - 1.94 thousand downloads total - 619 stars on GitHub - 1 maintainer
idrisiser 0.1.0 💰
Generate proven-correct wrappers from annotated interfaces using Idris2 dependent types1 version - Latest release: 7 months ago - 26 downloads total - 6 stars on GitHub - 1 maintainer
ruvector-verified 0.1.1
Formal verification layer for RuVector: proof-carrying vector operations with sub-microsecond ove...2 versions - Latest release: 8 months ago - 270 downloads total - 4,561 stars on GitHub - 1 maintainer
ruvector-verified-wasm 0.1.1
WASM bindings for ruvector-verified: proof-carrying vector operations in the browser2 versions - Latest release: 8 months ago - 40 downloads total - 4,561 stars on GitHub - 1 maintainer
oak-lean 0.0.11
Lean theorem prover language parser with support for dependent types and formal verification.12 versions - Latest release: 7 months ago - 385 downloads total - 26 stars on GitHub - 1 maintainer
oxilean 0.1.3 💰
OxiLean - A Pure Rust theorem prover and dependent type checker inspired by Lean 44 versions - Latest release: 3 months ago - 85 downloads total - 18 stars on GitHub - 1 maintainer
oxilean-kernel 0.1.3 💰
OxiLean kernel - The trusted computing base for type checking4 versions - Latest release: 3 months ago - 1.18 thousand downloads total - 18 stars on GitHub - 1 maintainer
sigma-enum-macros 0.1.2
Procedural macros for `sigma_enum`.3 versions - Latest release: 10 months ago - 176 downloads total - 0 stars on GitHub - 1 maintainer
sigma-enum 0.1.2
A macro to simulate sigma types with enums.3 versions - Latest release: 10 months ago - 64 downloads total - 0 stars on GitHub - 1 maintainer
oak-coq 0.0.11
Coq theorem prover language parser with support for dependent types and formal verification.12 versions - Latest release: 7 months ago - 376 downloads total - 26 stars on GitHub - 1 maintainer
leanr-rag-gateway 0.1.0
Multi-lane RAG gateway with cost routing and verified safety proofs using lean-agentic1 version - Latest release: 12 months ago - 391 downloads total - 58 stars on GitHub - 1 maintainer
lean-agentic 0.1.0
Core library for Lean-Agentic: hash-consed dependent types with 150x faster equality1 version - Latest release: 12 months ago - 85.4 thousand downloads total - 58 stars on GitHub - 1 maintainer
leanr-wasm 0.1.0
WebAssembly bindings for lean-agentic: hash-consed dependent types in the browser1 version - Latest release: 12 months ago - 235 downloads total - 58 stars on GitHub - 1 maintainer
typed_grid_macro 0.1.12
Macro generator for typed grid navigation12 versions - Latest release: over 1 year ago - 5.58 thousand downloads total - 2 stars on GitHub - 1 maintainer
typed_grid 0.1.12
Macro generator for typed grid navigation9 versions - Latest release: over 1 year ago - 4.03 thousand downloads total - 2 stars on GitHub - 1 maintainer
dedukti-parse 0.3.1 💰
Parser for the Dedukti file format4 versions - Latest release: over 4 years ago - 1 dependent package - 1 dependent repositories - 7.71 thousand downloads total - 25 stars on GitHub - 1 maintainer
kocheck 0.4.2 💰
Type checker for the lambda-Pi calculus modulo rewriting7 versions - Latest release: almost 3 years ago - 8.94 thousand downloads total - 25 stars on GitHub - 1 maintainer
kontroli 0.4.0 💰
Type checking for the lambda-Pi calculus modulo rewriting5 versions - Latest release: over 4 years ago - 1 dependent package - 7.81 thousand downloads total - 25 stars on GitHub - 1 maintainer
ken 0.1.0
Compiler, tooling, and language server for the Ken programming language.2 versions - Latest release: 3 months ago - 19 downloads total - 2 stars on GitHub - 2 maintainers
proven 0.9.0 💰
Safe, formally verified library for math, crypto, parsing, validation, and ML - Rust bindings1 version - Latest release: 9 months ago - 34 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 6 years ago - 58.7 thousand downloads total - 124 stars on GitHub - 1 maintainer
kers 0.1.0
Dependently type Object-Oriented Data Script1 version - Latest release: almost 3 years ago - 1.52 thousand downloads total - 0 stars on GitHub - 1 maintainer
mononym 0.1.0
Type-level named values with partial dependent type support in Rust1 version - Latest release: almost 5 years ago - 1.64 thousand downloads total - 58 stars on GitHub - 1 maintainer
nar 0.0.8
Narc, a dependently-typed programming language with dependent pattern matching8 versions - Latest release: over 6 years ago - 12.1 thousand downloads total - 80 stars on GitHub - 1 maintainer
kind2 0.3.10
A pure functional functional language that uses the HVM.65 versions - Latest release: over 3 years ago - 76.3 thousand downloads total - 3,769 stars on GitHub - 3 maintainers
rlfsc 0.2.2
A checker for the LFSC proof language10 versions - Latest release: over 5 years ago - 13.9 thousand downloads total - 1 stars on GitHub - 1 maintainer
fathom 0.0.0
A declarative binary data description language.1 version - Latest release: over 6 years ago - 2 dependent repositories - 1.74 thousand downloads total - 266 stars on GitHub - 1 maintainer
voile-util 0.2.2
Utilities extracted from Voile language's type-checker15 versions - Latest release: almost 7 years ago - 2 dependent packages - 50.7 thousand downloads total - 100 stars on GitHub - 1 maintainer
minitt-util 0.2.4
CLI Utilities extracted from Mini-TT language's type-checker7 versions - Latest release: about 6 years ago - 5 dependent packages - 44.6 thousand downloads total - 124 stars on GitHub - 1 maintainer
voile 0.2.6
Voile, a dependently-typed row-polymorphic programming language31 versions - Latest release: about 6 years ago - 40.9 thousand downloads total - 100 stars on GitHub - 1 maintainer
imprint 0.2.0
Type-level manipulation of values.2 versions - Latest release: over 9 years ago - 3.91 thousand downloads total - 2 stars on GitHub - 1 maintainer
lsts 0.6.34 💰
Large Scale Type Systems125 versions - Latest release: about 3 years ago - 144 thousand downloads total - 125 stars on GitHub - 1 maintainer
Related Keywords
rust
14
type-theory
9
theorem-prover
9
programming-language
7
lean
6
language
5
formal-verification
5
verification
5
logic
4
typechecker
4
parser
4
compiler
4
type-checking
3
agentic
3
agentic-ai
3
rewriting
3
dedukti
3
proof-assistant
3
simd
2
mathematics
2
rust-crate
2
rust-lang
2
rust-library
2
solver
2
safety
2
vector
2
onnx
2
ocr
2
neo4j
2
mincut
2
vector-database
2
low-latency
2
wasm
2
llm-inference
2
graph-neural-networks
2
graph
2
gnns
2
ai
2
ai-ocr
2
attention-mechanism
2
gnn-model
2
gnn
2
incremental-parsing
2
lambda-calculus
2
high-performance
2
zero-allocation
2
zero-cost-abstraction
2
extensible
2
type-system
2
type-checker
2
dependent-record-types
2
derive
2
lean4
2
math
2
code-generation
1
cryptography
1
epistemic-computing
1
epistemic-infrastructure
1
equivalence-aware-computing
1
hyperpolymath
1
iser
1
open-source
1
proof-carrying-abi
1
research-software
1
theorem-proving
1
typed-provenance
1
veridical-computing
1
verified-ffi
1
smt
1
ffi
1
proofs
1
registry
1
abi
1
tensor
1
numerical
1
ml
1
lsp
1
effects
1
pattern-matching
1
systems-programming
1
systems-language
1
dependent-records
1
bidirectional-typechecking
1
zig
1
idris2
1
abi-verification
1
lfsc
1
coq
1
statically-typed
1
dsl
1
declarative
1
data-description-language
1
binary-format
1
binary-data
1
proof-languages
1
proof-language
1
moonad
1
functional-programming
1
formality
1
functional
1