Lib.rs
›
Users
#
e-graphs
#
symbols
mwillsey
Max Willsey
Joined crates-io 5 years ago. Joined GitHub 12 years ago.
GitHub
crates.io
Home (mwillsey.com)
@mwillsey@discuss.systems
Maintainer dashboard
Member of GitHub orgs
uwplse
,
uwmisl
,
egraphs-good
Shares crates with
oflatt
,
yihozhang
mwillsey created 3 crates
egg
74
K
Founded in May 2019. Last updated 3 months ago.
symbol_table
10
K
Sole owner since Apr 2022. Last updated 6 months ago.
egraph-serialize
2.0
K
Founded in Oct 2023. Last updated 7 months ago.