Stars
Eventually a practical 2-level TT-based compiler
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
Library for lifting machine code to LLVM bitcode
A garden of small programming language implementations 🪴
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
Systems language with linear types and capability-based security.
🚦 A pretty diagnostics, references, telescope results, quickfix and location list to help you solve all the trouble your code is causing.