symbolic-computation topic
Rewrite.jl
An efficient symbolic term rewriting engine
hydiomatic
The Hy Transformer
mathiu.cpp
mathiu : a simple computer algebra system in C++.
pymbolic
A simple package to do symbolic math (focus on code gen and DSLs)
athena
Automatic equation building and curve fitting. Runs on Tensorflow. Built for academia and research.
yacas
Computer calculations made easy
kanren
An extensible, lightweight relational/logic programming DSL written in pure Python
SciLean
Scientific computing in Lean 4
QuantumLattices.jl
Julia package for the construction of quantum lattice systems.
Symbolica
Symbolica's open-source symbolic execution engine.