Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
egglog
egraphs + datalog!
Other
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
8
Last push
25mo ago
Recent commits
Latest commits.
Merge pull request #384 from MehrResearch/HM/f64parse
799c1be
Yihong Zhang
25mo ago
Accept f64 function arguments in `(input ...)`
80c3bfa
Hessam Mehr
25mo ago
Merge pull request #383 from egraphs-good/release-0.2.0
bf8c762
Yihong Zhang
25mo ago
update deps
fe1e299
Yihong Zhang
25mo ago
Merge pull request #380 from egraphs-good/release-0.2.0
f619300
Yihong Zhang
25mo ago
Merge pull request #375 from egraphs-good/saulshanabrook-patch-1
fab7543
Saul Shanabrook
25mo ago
Merge pull request #381 from cgyurgyik/main
a7ee1ca
Saul Shanabrook
25mo ago
update error message
bd67379
Chris Gyurgyik
25mo ago
Top contributors
Builders behind this project.
oflatt
175 commits
yihozhang
147 commits
mwillsey
139 commits
saulshanabrook
106 commits
philzook58
22 commits
Alex-Fischman
12 commits
gussmith23
10 commits
hatoo
10 commits