TypeDB: one giant leap for databases
-
Updated
Sep 10, 2024 - Rust
TypeDB: one giant leap for databases
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.
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
A multi-platform programming language focused on maintainability and bug prevention
The third iteration of the Lavender programming language, implemented in Rust.
Versatile parser for arithmetic expressions
Compiler for the Calculus of Inductive Constructions
tiny utility program for type-analysis of shell pipelines based on ladder-typing
rust type-system set theory
A blossoming type system.
Rust Implementation of Ladder-Types (parsing, unification, rewriting, etc)
Primitives for building syntax-based, keyboard-driven editors
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."