Lib.rs
›
Users
#
equality
#
e-graphs
oflatt
Oliver Flatt
Joined crates-io 2 years ago. Joined GitHub 10 years ago.
GitHub
crates.io
Maintainer dashboard
Member of GitHub orgs
egraphs-good
Shares crates with
mwillsey
,
yihozhang
oflatt created 3 crates
egglog
Founded in Oct 2023. Last updated 2 months ago.
generic_symbolic_expressions
Sole owner since Oct 2023. Last updated 6 months ago.
intervals-good
Sole owner since Jun 2022. Last updated 2 years ago.
Co-owns 2 crates
egg
65
K
Member since Sep 2022 (2 years)
egraph-serialize
Member since Oct 2024 (a month)