Last released Apr 23, 2017
Minimal Assembly Language Virtual Machine
Last released Jun 28, 2016
A simple REPL for lambda calculus
Supported by