egraphs-good
egglog
Blog
Docs
Changelog
Blog
Docs
Changelog
Overview
Branches
Benchmarks
Runs
Performance History
Latest Results
expose names of tables
oflatt-size-helpers
22 hours ago
new size helpers
oflatt-size-helpers
22 hours ago
Merge pull request #747 from marko-subotic/main make necessary items public to allow custom type constraints
main
5 days ago
make necessary items public to allow custom type constraints
marko-subotic:main
6 days ago
Merge pull request #739 from saulshanabrook/fix-fn-bug Fix Incorrect Unstable Function Behavior
main
7 days ago
respond to feedback
oflatt-fresh-ids
8 days ago
refactor
oflatt-fresh-ids
10 days ago
new fix
oflatt-fresh-ids
10 days ago
Active Branches
Helpers for getting table sizes in primitives
last run
22 hours ago
#752
CodSpeed Performance Gauge
+5%
[Draft] Fresh sugar via skolemization
last run
8 days ago
#741
CodSpeed Performance Gauge
0%
Proofs refactors
last run
24 days ago
#725
CodSpeed Performance Gauge
0%
© 2025 CodSpeed Technology
Home
Terms
Privacy
Docs