Eventually a practical 2-level TT-based compiler

A toy dependent typed language.

Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically

Python scripts that build optimal routes for node collection

Godot Engine – Multi-platform 2D and 3D game engine

Resource gathering + programming game

Library for lifting machine code to LLVM bitcode

The Hylo programming language

A garden of small programming language implementations 🪴

Succinct Data Structure Library 2.0

Fast equality saturation in Haskell

Benchmarking various normalization algorithms for the lambda calculus

A precise specification for "Rust lite / MIR plus"

The MaPLe compiler: efficient and scalable parallel functional programming

A fast functional language based on two level type theory

A simple library for reporting compiler/interpreter errors

A repository of the collective knowledge from the WITS community

Advent of Code in kaze RTL

Fωμ type checker and compiler

Systems language with linear types and capability-based security.

A dependent type theory with user defined data types

🚦 A pretty diagnostics, references, telescope results, quickfix and location list to help you solve all the trouble your code is causing.

A Quick Backend

Staged compilation with dependent types

higher-kinded data

a self-hosting lambda calculus compiler

Unicode General Category