Theory Projects (4)
All projects on this website with a focus on theory - computablity, complexity, algebra, proofs, etc.
| Project | Version | Revision | Description | Tags |
|---|---|---|---|---|
| burro | 1.0 | 2007.1026 | Interpreter and docs for the Burro language | bsdl c eso hs lang theory |
| cabra | 1.0 | 2007.1101 | Interpreter and docs for the Cabra language | bsdl eso hs lang theory |
| urreading | 1.0 | 2007.1105 | You are Reading the Name of this Esolang | eso lang spec theory |
| xigxag | 1.0 | 2007.0602 | Implementation of the Xigxag automaton | eso lang pd perl theory |
![[Valid XHTML 1.0]](../images/buttons/valid-xhtml10.png){kind=small}