Lib.rs
›
Users
#
e-graphs
#
egraph
yihozhang
Yihong Zhang
Joined crates-io 10 months ago. Joined GitHub 9 years ago.
GitHub
crates.io
Home (effect.systems)
Maintainer dashboard
Member of GitHub orgs
uwplse
,
hkust-taco
Shares crates with
mwillsey
,
oflatt
Co-owns 2 crates
egglog
Member since May 2024 (10 months)
egraph-serialize
Member since Sep 2024 (5 months)