Starred repositories
Lean 4 programming language and theorem prover
A Gleam web framework for building HTML templates, single page applications, and real-time server components.
Reverse engineered the .pur file format so you can automatically generate PureRef files or use this library to convert to any other file format.
Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
A garden of small programming language implementations 🪴
⭐️ A friendly language for building type-safe, scalable systems!
A demo implementation of a simple dependently-typed language
Agda is a dependently typed programming language / interactive theorem prover.
A purely functional programming language with first class types
A functional programming language with static memory management
A highly experimental vi-inspired editor where you edit code, not text.
A collection of resources for learning type theory and type theory adjacent fields.
x86 C compiler written in untyped lambda calculus
The Pie language, which accompanies The Little Typer by Friedman and Christiansen
Dafny is a verification-aware programming language
A multithreaded Minecraft server built for redstone.
A statically typed concatenative systems programming language.
😠⚔️😈 A minimalistic 2D turn-based tactical game in Rust
Embedded language for high-performance array computations