GitHub repository: JuliaSymbolics/Metatheory.jl
Primary language: Julia
Description: Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.