TypeDB: Built for systems, not records
🚀 The open-source, multi-tenant platform for self-building knowledge graphs and simulation
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. 🚧
TypeQL: Built for systems, not records
A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.
A safer complement of R, the legendary programming language for statistic and datasciences !
Normalization by evaluation for Martin-Löf Type Theory with dependent records
A macro for defining type operators in Rust.
A safe and efficient target language for functional compilers
Hindley Milner Type Inference in Rust
The third iteration of the Lavender programming language, implemented in Rust.
A multi-platform programming language focused on maintainability and bug prevention
Versatile parser for arithmetic expressions
Compiler for the Calculus of Inductive Constructions
Vexil — a typed schema definition language with first-class encoding semantics.
A blossoming type system.
Add a description, image, and links to the type-system topic page so that developers can more easily learn about it.
To associate your repository with the type-system topic, visit your repo's landing page and select "manage topics."