Lib.rs

› Users #e-graphs #datalog

yihozhang

Yihong Zhang

Joined crates-io a year 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 (a year)
egraph-serialize

3.1K Member since Sep 2024 (7 months)

Based on data from crates.io, GitHub, rustaceans.org, and other public sources. These pages are automatically generated for crates-io owners, and do not imply endorsement by either the Rust Project nor the users presented here.

Lib.rs is an unofficial list of Rust/Cargo crates, created by kornelski.