JuliaSymbolics/Metatheory.jl

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.

语言：Julia · GitHub 星标：404 · Fork：50

话题：compiler-construction · compiler-optimization · egraphs · equality-saturation · julia · optimization · programming-language · symbolic

在 GitHub 上查看原仓库