Lib.rs
›
Users
#
serialization
#
e-graphs
yihozhang
Yihong Zhang
Joined crates-io 9 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 (9 months)
egraph-serialize
Member since Sep 2024 (4 months)