A language-generic implementation of equality saturation in Haskell
-
Updated
Dec 4, 2018 - Haskell
#
equality-saturation
Here are 14 public repositories matching this topic...
An experimental Differential Dataflow optimization engine powered by equality saturation
-
Updated
Aug 26, 2021 - Rust
Harmony automation tool available through program optimization (e-graphs)
-
Updated
Apr 12, 2022 - OCaml
🚧 Build a SQL optimizer in 1000 lines of Rust using egg.
-
Updated
Feb 6, 2023 - Rust
E-graph implementation for educational purposes
-
Updated
May 19, 2023 - C++
Flexible Matching: Explore and reveal accelerator-supported workloads in Deep Learning Models
-
Updated
Jan 12, 2024 - Python
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/
-
Updated
Jun 6, 2024 - Rust
Equality Saturation Framework for Directive-Based GPU Code
-
Updated
Sep 11, 2024 - C
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
programming-language
optimization
julia
symbolic
symbolic-manipulation
symbolic-computation
compiler-optimization
term-rewriting
compiler-construction
equality-saturation
egraphs
-
Updated
Oct 19, 2024 - Julia
An awesome list of e-graph resources
-
Updated
Oct 21, 2024
Python bindings for the egg-smol rust library
-
Updated
Nov 11, 2024 - JavaScript
Improve this page
Add a description, image, and links to the equality-saturation topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the equality-saturation topic, visit your repo's landing page and select "manage topics."