Lib.rs
›
Users
#
datalog
#
equality
yihozhang
Yihong Zhang
Joined crates-io a week ago. Joined GitHub 8 years ago.
GitHub
crates.io
Home (effect.systems)
Maintainer dashboard
Member of GitHub orgs
uwplse
,
hkust-taco
Shares crates with
oflatt
Co-owns 1 crate
egglog
Member since May 2024 (a week)