A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
A menagerie of cute implementations of modern typechecking algorithms
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
RowScript programming language, making a better browser world
Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
Normalization by evaluation for Martin-Löf Type Theory with dependent records
Dependently-typed row-polymorphic programming language, evolved from minitt-rs
(WIP) Dependently-typed programming language with Agda style dependent pattern matching
Placeholder for the OwO compiler
A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.
Alternative implementation of the logical framework Dedukti in Rust
café, a systems language
A gradually-typed garbage-collected WebAssembly language
🧪 | Zu Theorem Prover
Explicit concurrency for intelligible parallel programing.
Dependently-typed programming language.
🧪 | Zure is the remake of Zu but without rigid and unstable types
Add a description, image, and links to the dependent-types topic page so that developers can more easily learn about it.
To associate your repository with the dependent-types topic, visit your repo's landing page and select "manage topics."