Last released Jun 24, 2026
REPL for the lambda calculus
Last released Apr 10, 2024
Implementation of the Lambda calculus
Last released Oct 22, 2023
Virtual machines for the AMN instructions sets
Supported by