Lib.rs
›
Users
#
serialization
#
e-graphs
yihozhang
Yihong Zhang
Joined crates-io 8 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
oflatt
,
mwillsey
Co-owns 2 crates
egglog
Member since May 2024 (8 months)
egraph-serialize
Member since Sep 2024 (3 months)