Lib.rs
›
Users
#
e-graphs
#
symbolic
oflatt
Oliver Flatt
Joined crates-io 2 years ago. Joined GitHub 9 years ago.
GitHub
crates.io
Maintainer dashboard
Member of GitHub orgs
egraphs-good
Shares crates with
mwillsey
oflatt created 3 crates
egglog
Sole owner since Oct 2023. Last updated 5 months ago.
generic_symbolic_expressions
Sole owner since Oct 2023. Last updated 5 months ago.
intervals-good
Sole owner since Jun 2022. Last updated a year ago.
Co-owns 1 crate
egg
18
K
Member since Sep 2022 (2 years)