egglog

Here are 6 public repositories matching this topic...

A toy compiler for NumPy array expressions that uses e-graphs and MLIR

term-rewriting equality-saturation mlir egglog e-graphs

A different approach to an E-graph library

rust-library e-graph egglog e-graphs free-join

An egglog-compatible but faster ahead-of-time compiling e-graph engine.

equality-saturation egraphs egglog

A language server and VScode extension for egglog

Bachelor's Degree: A Reactive Digital Twin for Automated Warehouses

python automation digital-twin egraphs warehouse-automation egglog linguafranca

Automation of a Vertical Warehouse using Egglog and Lingua Franca

python digital-twin warehouse-automation egglog linguafranca e-graphs

To associate your repository with the egglog topic, visit your repo's landing page and select "manage topics."