Rewriting Projects (5)
All projects on this website related to rewriting (term rewriting, string rewriting, tree rewriting, etc.)
| Project | Version | Revision | Description | Tags |
|---|---|---|---|---|
| arboretuum | 1.0 | 2008.0304 | Interpreter for the Arboretuum forest-rewriter | bsdl scheme lang rew |
| hev | 1.0 | 2007.0617 | Docs and interpreter for the Hev language | bsdl eso hs lang rew |
| thue | 1.0 | 2004.0301 | Interpreter for the Thue language | c eso lang py rew |
| treacle | 1.0 | 2008.0412 | Interpreter for the Treacle rewriting language | bsdl scheme lang rew |
| ypsilax | 0.9 | 2007.1202 | Interpreter for the Ypsilax language | 2d bsdl eso lang perl refl rew |