Lib.rs
›
Users
#
verus
#
verified-rust
#
inline
jaybosamiya
Jay Bosamiya
Joined crates-io a year 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 created 5 crates
verusfmt
Founded in Jan 2024. Updated 4 days ago.
vstd
Founded in Jun 2024. Last updated 3 months ago.
verus
Founded in Mar 2024. Last updated 7 months ago.
inline-crate
Sole owner since Nov 2023. Last updated 2 months ago.
benchify
Sole owner since Aug 2023. Last updated a year ago.