Hacker News
Lobsters
- E-graphs for compiler optimisations in Rust https://egraphs-good.github.io/ 9 comments compilers , rust
Linking pages
- This Week in Rust 383 · This Week in Rust https://this-week-in-rust.org/blog/2021/03/24/this-week-in-rust-383/ 13 comments
- Porting Takua Renderer to 64-bit ARM- Part 1 https://blog.yiningkarlli.com/2021/05/porting-takua-to-arm-pt1.html 10 comments
- Implementing a Toy Optimizer | PyPy https://www.pypy.org/posts/2022/07/toy-optimizer.html 9 comments
- This Week in Rust 381 · This Week in Rust https://this-week-in-rust.org/blog/2021/03/10/this-week-in-rust-381/ 8 comments
- A Simplified E-graph Implementation | Hey There Buddo! https://www.philipzucker.com/a-simplified-egraph/ 7 comments
- The e-graph data structure https://www.cole-k.com/2023/07/24/e-graphs-primer/ 3 comments
- Egglog 2: Automatically Proving the Pullback of a Monic is Monic | Hey There Buddo! https://www.philipzucker.com/egglog2-monic/ 2 comments
- Duckegg: A Datalog / Egraph Implementation Built Around DuckDB | Hey There Buddo! https://www.philipzucker.com/duckegg-post/ 0 comments
- Fast and Extensible Equality Saturation with egg | SIGPLAN Blog https://blog.sigplan.org/2021/04/06/equality-saturation-with-egg/ 0 comments
- Egglog: a Prolog Syntax for Egg, Checkpoint I | Hey There Buddo! https://www.philipzucker.com/egglog-checkpoint/ 0 comments
- Egglog Examples: Pullbacks, SKI, Lists, and Arithmetic | Hey There Buddo! https://www.philipzucker.com/egglog-3/ 0 comments
- Z3, The Word Problem, and Path Homotopy as Equality | Hey There Buddo! http://www.philipzucker.com/z3-and-the-word-problem/ 0 comments
- Progress on Automated Reasoning for Catlab with Metatheory.jl Egraphs | Hey There Buddo! https://www.philipzucker.com/metatheory-progress/ 0 comments
- Rewriting Monoidal Categories in the Browser with Egg | Hey There Buddo! http://www.philipzucker.com/rust-category/ 0 comments
- GitHub - philzook58/egglog: Datalog + Egg = Good https://github.com/philzook58/egglog 0 comments
- Embedding E-graph Rewriting and Egglog in Constraint Handling Rules | Hey There Buddo! https://www.philipzucker.com/egraph-chr/ 0 comments
- Improving MBA Deobfuscation using Equality Saturation | secret club https://secret.club/2022/08/08/eqsat-oracle-synthesis.html 0 comments
- Write a SQL Optimizer using Egg https://rustmagazine.org/issue-2/write-a-sql-optimizer-using-egg/ 0 comments
Related searches:
Search whole site: site:egraphs-good.github.io
Search title: egg
See how to search.