Lib.rs
›
Users
#
dafny
#
aws
ajewellamz
Andrew Jewell
Joined crates-io a month ago. Joined GitHub 2 years ago.
GitHub
crates.io
Maintainer dashboard
Shares crates with
seebees
,
RitvikKapila
ajewellamz created 3 crates
aws-db-esdk
Founded in Dec 2024. Updated 2 weeks ago.
dafny-runtime
3.7
K
Sole owner since Dec 2024. Updated a month ago.
aws-dafny-runtime
Sole owner since Dec 2024.
Co-owns 1 crate
aws-esdk
2.1
K
Member since Dec 2024 (3 weeks)