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