Lib.rs
›
Users
#
fiat
#
cryptography
JasonGross
Jason Gross
Joined crates-io 4 years ago. Joined GitHub 14 years ago.
GitHub
crates.io
Home (people.csail.mit.edu)
Maintainer dashboard
Member of GitHub orgs
barnowl
,
MITeX
,
Coq
,
sipb
,
mit-plv
JasonGross created 1 crate
fiat-crypto
1.0
M
Sole owner since Feb 2020. Last updated 6 months ago.