Loreon
Labs
Platform
Search…
⌘K
Docs
Home
Ecosystems
Other
ego
EGraphs in OCaml
Other
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
3
Last push
2d ago
Recent commits
Latest commits.
Merge pull request #7 from tmoux/ematch
1d9a39a
Kiran Gopinathan
29mo ago
Fix e-matching in generic.ml
4a6a337
Timothy Mou
29mo ago
Merge pull request #6 from tmoux/ematch
58a1f74
Kiran Gopinathan
29mo ago
Fix e-matching in basic.ml
5602ab8
Timothy Mou
29mo ago
Add failing tests
8877d04
Timothy Mou
29mo ago
Merge pull request #4 from tmoux/master
ffdc1ad
Kiran Gopinathan
48mo ago
Merge pull request #3 from crackcomm/master
23ce729
Kiran Gopinathan
48mo ago
Fix typo in doc
fc95d75
Timothy Mou
48mo ago
Top contributors
Builders behind this project.
kiranandcode
19 commits
tmoux
4 commits
crackcomm
1 commits