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

Embedded language for high-performance array computations

Command-line tool to customize Spotify client. Supports Windows, MacOS, and Linux.

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

🐉 A practical game and data language

The Egel Programming Language