egg

Lobsters·29 points·355E3B·over 5 years ago·egraphs-good.github.io

'egg' is an open-source, high performance e-graph and equality saturation toolkit.

Read the full article at egraphs-good.github.io →

#egg #plt #rust #high #performance #equality #source #graph

Related stories

How we improved the performance of our Rust app [Zellij]poor.dev
Lobsters · 13 points · about 5 years ago
Show HN: Quant – A High-Performance Quantum OS Kernel and Simulator in Rustgithub.com
Hacker News · 3 points · 8 days ago
Helix: Improve the Performance of Rails with Rustheadway.io
Lobsters · 24 points · over 7 years ago
rust-sel4: Rust support for seL4 userspacegithub.com
Lobsters · 13 points · over 2 years ago
Rust fact vs. fiction: 5 Insights from Google's Rust journey in 2022opensource.googleblog.com
Lobsters · 81 points · over 3 years ago
Fastlogging-Rs: High-Performance Logging for Rust, Python, C, C++, Java, Go, C#github.com
Hacker News · 2 points · 9 days ago

Related topics

plt44 algorithm25 arcade8 performance91 federal5 fixing11