Lean 4 programming language and theorem prover

⛏️ A refinement proof framework for haskell

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.

🐶 React-like RxJS-based framework

Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"

A bidirectional type checker

C Compiler written in Vim script

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

My very own flexible portfolio

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 structured interaction engine 🗜️ ⚗️

A highly experimental vi-inspired editor where you edit code, not text.

Learn to code with Wipple.

A collection of resources for learning type theory and type theory adjacent fields.

Fωμ type checker and compiler

x86 C compiler written in untyped lambda calculus

The Pie language, which accompanies The Little Typer by Friedman and Christiansen

A Pascal to LLVM compiler in Haskell

Dafny is a verification-aware programming language

A multithreaded Minecraft server built for redstone.

A statically typed concatenative systems programming language.

Awesome Programming Languages

😠⚔️😈 A minimalistic 2D turn-based tactical game in Rust

Simple ray tracer written in Rust