Theory Projects (5)

All projects on this website with a focus on theory - computablity, complexity, algebra, proofs, etc.

Project Version Revision Description Tags
burro 2.0 2011.0525 Interpreter and docs for the Burro language eso hs lang theory
cabra 1.0 2011.1214 Interpreter and docs for the Cabra language bsdl eso hs lang theory
madison 0.1 2011.1202 Specification and tests for the Madison proof checker lang rew spec theory
urreading 1.0 2011.1214 You are Reading the Name of this Esolang eso lang spec theory
xigxag 1.0 2011.1214 Implementation of the Xigxag automaton eso lang pd perl theory