Search Results - RepositoryStats

44

347

mit

11

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

672 commits to master branch, last one about a month ago

hegg alt-romes

8

73

bsd-3-clause

3

Fast equality saturation in Haskell

egraphs haskell equality-saturation

Created 2022-07-03

216 commits to master branch, last one about a month ago

ego verse-lab

6

56

gpl-3.0

4

EGraphs in OCaml

ocaml egraphs equality-saturation

Created 2021-08-31

24 commits to master branch, last one 5 months ago