Lib.rs
›
Users
#
encryption
#
dafny
ajewellamz
Andrew Jewell
Joined crates-io 5 months ago. Joined GitHub 2 years ago.
GitHub
crates.io
Maintainer dashboard
Shares crates with
RitvikKapila
,
seebees
,
robin-aws
ajewellamz created 3 crates
aws-db-esdk
Founded in Dec 2024. Last updated 3 months ago.
dafny-runtime
2.1
K
Founded in Dec 2024. Last updated 3 months ago.
aws-dafny-runtime
Sole owner since Dec 2024.
Co-owns 1 crate
aws-esdk
2.1
K
Member since Dec 2024 (4 months)