Loreon
Labs
Platform
Docs
Home
Ecosystems
Rust
egg
egg is a flexible, high-performance e-graph library
Rust
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
8
Last push
33mo ago
Recent commits
Latest commits.
Fix minor grammar in _01_background.rs (#267)
e7845c5
Nada Amin
34mo ago
release 0.9.5
c590048
oflatt
36mo ago
reduce proof minimization constants for memory's sake
a0055c5
oflatt
36mo ago
Add egglog note
82c00e9
Max Willsey
37mo ago
remove incorrect panic
f7e9fd6
oflatt
37mo ago
Revert "fix subtle bug in complying with assert"
774732f
oflatt
37mo ago
fix subtle bug in complying with assert
47f5152
oflatt
37mo ago
fix up cargo.toml
555d47e
oflatt
37mo ago
Top contributors
Builders behind this project.
mwillsey
475 commits
oflatt
29 commits
remysucre
8 commits
philzook58
6 commits
nlewycky
5 commits
meithecatte
4 commits
yihozhang
4 commits
jakevossen5
3 commits
