mwillsey

Max Willsey

Joined crates-io 3 years ago. Joined GitHub 10 years ago.

Member of GitHub orgs

uwplse, uwmisl, egraphs-good

Collaborated with

oflatt