Lib.rs
›
Users
#
verified-rust
#
verus
#
inline
#
low-level
jaybosamiya
Jay Bosamiya
Joined crates-io 2 years ago. Joined GitHub 12 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
utaal
,
parno
,
jaybosamiya-ms
,
Chris-Hawblitzel
jaybosamiya created 7 crates
verusfmt
Founded in Jan 2024. Updated a week ago.
vstd
Founded in Jun 2024. Last updated 2 months ago.
cargo-verus
Founded in Jul 2025. Last updated 4 months ago.
litebox
Founded in Dec 2024. Last updated 10 months ago.
verus
Founded in Mar 2024. Last updated 2 years ago.
inline-crate
Sole owner since Nov 2023. Last updated a year ago.
benchify
Sole owner since Aug 2023. Last updated 2 years ago.