dtt

experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust

Stars
23
View Code on GitHub View on X
Ecosystems: Rust

Issue Statistics

Past Year

All Time

Total Pull Requests
0
0
Merged Pull Requests
0
0
Total Issues
0
0
Time to Close Issues
N/A
N/A
Related Projects
type-theory

Typed λ-calculus in Rust

05 Jun 2019 28
rust-nbe-for-mltt

Normalization by evaluation for Martin-Löf Type Theory with dependent records

20 Nov 2018 90
typed-type-exercise-in-rust

Build database expression type checker and vectorized runtime executor in type-safe Rust

20 May 2022 96
Interaction-Type-Theory

10 Jul 2023 106
tyrade

A pure functional language for type-level programming in Rust

15 Jun 2020 316