Rewriting Projects (6)

All projects on this website related to rewriting (term rewriting, string rewriting, tree rewriting, etc.)

Project Version Revision Description Tags
arboretuum 1.0 2011.1214 Interpreter for the Arboretuum forest-rewriter bsdl scheme lang rew
hev 1.0 2010.0427 Docs and interpreter for the Hev language bsdl eso hs lang rew
madison 0.1 2011.1202 Specification and tests for the Madison proof checker lang rew spec theory
thue 1.5 2010.1218 Interpreter for the Thue language c eso lang py rew
treacle 1.0 2010.0427 Interpreter for the Treacle rewriting language bsdl scheme lang rew
ypsilax 1.1 2011.1130 Interpreter for the Ypsilax language 2d bsdl eso java lang perl refl rew interact