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