Search Results - RepositoryStats

47

362

mit

12

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 about a month ago

awesome-egraphs philzook58

4

94

mit

6

An awesome list of e-graph resources

egraph e-graph egraphs e-graphs equation optimization equality-saturation compiler-optimization

Created 2024-10-07

29 commits to main branch, last one 16 days ago

hegg alt-romes

8

76

bsd-3-clause

3

Fast equality saturation in Haskell

egraphs haskell equality-saturation

Created 2022-07-03

216 commits to master branch, last one 6 months ago

sql-optimizer-labs risinglightdb

6

73

apache-2.0

7

🚧 Build a SQL optimizer in 1000 lines of Rust using egg.

sql optimizer equality-saturation

Created 2022-12-26

16 commits to main branch, last one about a year ago

glenside gussmith23

10

71

unknown

5

A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://gussmith23.github.io/glenside-web-demo/

machine-learning program-rewriting equality-saturation

Created 2020-02-25

1,128 commits to main branch, last one 11 months ago

egglog-python egraphs-good

9

64

mit

3

Python bindings for the egg-smol rust library

dsl rust python e-graph term-rewriting equality-saturation

Created 2022-11-02

1,026 commits to main branch, last one 8 days ago

ego verse-lab

6

60

gpl-3.0

5

EGraphs in OCaml

ocaml egraphs equality-saturation

Created 2021-08-31

24 commits to master branch, last one 9 months ago