PLT
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Lambda normalization and conversion checking benchmarks for various implementations
A fast functional language based on two level type theory
Implementation of the λΠ-calculus modulo rewriting
A statically typed lisp, without a GC, for real-time applications.
🌀 Church encodings written in Haskell
⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.
The Ott tool for writing definitions of programming languages and calculi
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
Papers from the computer science community to read and discuss.
MicroC example compiler for Stephen Edward's PLT class, but in Haskell
A purely functional programming language with first class types
Parsing, analyzing, and comparing source code across many languages
⭐️ A friendly language for building type-safe, scalable systems!
The list of awesome programming languages that you might be interested in.
A friendly programming language from the future
k/simple is a bare minimum k interpreter for learning purposes by arthur whitney
A tiny programming language that transpiles to C, C++, Java, TypeScript, Python, C#, Swift, Lua and WebAssembly 🚀