Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 6 Equality Saturation Open Source Projects

Open source projects categorized as Equality Saturation
Categories > Equality Saturation
Metatheory.jl ⭐ 321
General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
most recent commit 5 months ago
Hegg ⭐ 67
Fast equality saturation in Haskell
total releases 5most recent commit 7 months ago
Ego ⭐ 55
EGraphs in OCaml
most recent commit 5 months ago
Glenside ⭐ 53
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/
most recent commit 7 months ago
Egglog Python ⭐ 38
Python bindings for the egg-smol rust library
most recent commit 5 months ago
Sql Optimizer Labs ⭐ 22
🚧 Build a SQL optimizer in 1000 lines of Rust using egg.
most recent commit a year ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.