Specification Projects (10)
All projects available from this website consisting of only specifications (no implementation.)
| Project | Version | Revision | Description | Tags |
|---|---|---|---|---|
| befunge93 | 1.0 | 2004.0920 | Documentation for Befunge-93 | 2d bef eso lang spec interact |
| didigm | 1.0 | 2011.1214 | Docs on the Didigm reflective CA | 2d ca eso lang refl spec |
| funge98 | 1.0 | 2004.0301 | Documentation for Funge-98 | 2d bef eso lang spec |
| madison | 0.1 | 2011.1202 | Specification and tests for the Madison proof checker | lang rew spec theory |
| mdpn | 1.0 | 2004.0302 | Multi-Directional Pattern Notation | 2d lang meta spec |
| oozlybub-and-murphy | 1.1 | 2011.0427 | Specification of Oozlybub and Murphy | lang spec |
| opus-2 | 0.5 | 2001.0325 | Description of the abstract conlang Opus-2 | eso lang spec |
| tamerlane | 1.0 | 2001.0127 | Documents on the Tamerlane language | eso lang spec |
| urreading | 1.0 | 2011.1214 | You are Reading the Name of this Esolang | eso lang spec theory |
| xoomonk | 0.1 | 2011.0807 | Specification and tests for the Xoomonk language | lang spec |
![[Valid XHTML 1.0]](../images/buttons/valid-xhtml10.png){kind=small}