GitHub repository: HarrisonGrodin/Rewrite.jl
Primary language: Julia
Description: An efficient symbolic term rewriting engine