unidiomatic usage of Rust, no linear type, no memory safety 😂
-
Updated
Aug 21, 2016 - Rust
unidiomatic usage of Rust, no linear type, no memory safety 😂
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
tiny utility program for type-analysis of shell pipelines based on ladder-typing
Compiler for the Calculus of Inductive Constructions
Versatile parser for arithmetic expressions
The third iteration of the Lavender programming language, implemented in Rust.
Hindley Milner Type Inference in Rust
A multi-platform programming language focused on maintainability and bug prevention
A safe and efficient target language for functional compilers
A macro for defining type operators in Rust.
Normalization by evaluation for Martin-Löf Type Theory with dependent records
A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
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."