Awesome Open Source

Programming Languages

Search results for equality saturation

equality-saturation x

6 search results found

Metatheory.jl ⭐ 321

General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

Fast equality saturation in Haskell

EGraphs in OCaml

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/

Egglog Python ⭐ 38

Python bindings for the egg-smol rust library

Sql Optimizer Labs ⭐ 22

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

Related Searches

Rust Equality Saturation (3)

Term Rewriting Equality Saturation (3)

1-6 of 6 search results

Privacy | About | Terms | Follow Us On Twitter

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