Lib.rs
›
Users
#
verus
#
inline
#
verified-rust
#
single-file
jaybosamiya
Jay Bosamiya
Joined crates-io 2 years ago. Joined GitHub 11 years ago.
GitHub
crates.io
Home (jaybosamiya.com)
Maintainer dashboard
Member of GitHub orgs
pwning
,
picoCTF
,
FStarLang
,
BinaryAnalysisPlatform
,
TeamColonelPanic
,
project-everest
,
InfoSecIITR
,
secure-foundations
Shares crates with
parno
,
utaal
,
jaybosamiya-ms
jaybosamiya created 6 crates
verusfmt
Founded in Jan 2024. Updated 2 weeks ago.
litebox
Founded in Dec 2024. Last updated 2 months ago.
vstd
Founded in Jun 2024. Last updated 7 months ago.
verus
Founded in Mar 2024. Last updated 10 months ago.
inline-crate
Sole owner since Nov 2023. Last updated 6 months ago.
benchify
Sole owner since Aug 2023. Last updated 2 years ago.