Tools for transparent data transformation
The implementation of the Rascal meta-programming language (including in...
:coffee: Symja - computer algebra language & symbolic math library. A c...
Makes Julia reason with equations. General purpose metaprogramming, symb...
Pure programming language
Symbolic parser for Julia language term rewriting using REDUCE algebra
A library for pattern matching on symbolic expressions in Python.
A simple package to do symbolic math (focus on code gen and DSLs)
The Git repository for the mCRL2 toolset.
Algebraic simplification in Julia
Tools for rapid prototyping of DSL compilers
Tools for an Aesara-based PPL.