egraphs-good/egglog

Stars

⭐ 832

PRs Reviewed

42

Bot Comments

161

Primary Language

Rust

Merge Rate

59.5%

Avg Time to Merge

11d

Avg Additions

+1.8K

Avg Deletions

-348

Avg Files Changed

20