After a lot of theorizing, finally something concrete from my lab: Exp-Log's little brother, "Rewrite" is marked ready for production use. While Exp-Log is aiming to optimize and tame the order of rule application, Rewrite practice more of a minimalist setup, where rules are applied in strict top-to-bottom order. In fact, I liked this minimalism so much that I decided to make a version of Rewrite ready for production use. Today, after two months of coding struggle, I finally uploaded the production version to dedicated GitHub project home page.
Rewrite may be used as a curiosity computing platform, formula application system, proof checker, problem solver, and pretty much anywhere where any kind of computation is required, as long as slower performance on intensive computations doesn't go beyond limits of user patience.
You can try it in online playground here:
https://contrast-zone.github.io/rewrite/playground/index.html. Provided examples include some introductory material, equality predicate, branching choice, Boolean calculator, proof checking, SAT solver, and action planning, while users are invited to experiment with their own code designs (you may want to use an external editor with bracket matching for this purpose).
The project official home page with instructions is here:
https://github.com/contrast-zone/rewrite.
Have fun!