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 😂
A dependent type checker for lambda calculus.
Toy typechecker and interpreter for the Mirage language.
An incremental type checker for a subset of C using DDlog.
An implementation of the Typed Lambda Calculus described in https://papl.cs.brown.edu/2018/types.html
write a little simply typed functional language to practice Rust
WIP: Experimental Python Type Checker and LSP 🔎
Normalization by evaluation for Martin-Löf Type Theory with dependent records
🌴 Type Checker and IDE Support for Lua
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
A fast, feature-rich static code analyzer & language server for Python
Add a description, image, and links to the type-checker topic page so that developers can more easily learn about it.
To associate your repository with the type-checker topic, visit your repo's landing page and select "manage topics."