4 results found Sort:

JuliaSymbolics
Metatheory.jl JuliaSymbolics
45
367
mit
13
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, ...
julia egraphs symbolic optimization term-rewriting equality-saturation programming-language symbolic-computation compiler-construction compiler-optimization symbolic-manipulation
Created 2021-01-12
676 commits to master branch, last one 3 months ago
philzook58
awesome-egraphs philzook58
5
112
mit
7
An awesome list of e-graph resources
egraph e-graph egraphs e-graphs equation optimization equality-saturation compiler-optimization
Created 2024-10-07
35 commits to main branch, last one 19 days ago
alt-romes
hegg alt-romes
8
79
bsd-3-clause
3
Fast equality saturation in Haskell
egraphs haskell equality-saturation
Created 2022-07-03
216 commits to master branch, last one 7 months ago
verse-lab
ego verse-lab
7
61
gpl-3.0
5
EGraphs in OCaml
ocaml egraphs equality-saturation
Created 2021-08-31
24 commits to master branch, last one 11 months ago