GitHub repository: mnemnion/ax
Primary language: Lua
Description: An Algebraic, Executable Ur Machine