6 results found Sort:
- Filter by Primary Language:
- Rust (2)
- Haskell (1)
- Julia (1)
- OCaml (1)
- Python (1)
- +
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, ...
Created
2021-01-12
676 commits to master branch, last one 18 days ago
Fast equality saturation in Haskell
Created
2022-07-03
216 commits to master branch, last one 5 months ago
🚧 Build a SQL optimizer in 1000 lines of Rust using egg.
Created
2022-12-26
16 commits to main branch, last one about a year ago
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/
Created
2020-02-25
1,128 commits to main branch, last one 10 months ago
Python bindings for the egg-smol rust library
Created
2022-11-02
966 commits to main branch, last one about a month ago
EGraphs in OCaml
Created
2021-08-31
24 commits to master branch, last one 8 months ago