4 results found Sort:

JuliaSymbolics
Metatheory.jl JuliaSymbolics
45
366
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
678 commits to master branch, last one 10 days ago
philzook58
awesome-egraphs philzook58
7
126
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
38 commits to main branch, last one 15 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 9 months ago
verse-lab
ego verse-lab
7
65
gpl-3.0
5
EGraphs in OCaml
ocaml egraphs equality-saturation
Created 2021-08-31
24 commits to master branch, last one about a year ago