Lib.rs
›
Users
#
inline
#
formatter
#
single-file
jaybosamiya
Jay Bosamiya
Joined crates-io 9 months ago. Joined GitHub 10 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
jaybosamiya created 4 crates
verusfmt
Founded in Jan 2024. Updated 2 weeks ago.
inline-crate
Founded in Nov 2023. Last updated 6 months ago.
verus
Sole owner since Mar 2024. Last updated 2 months ago.
benchify
Sole owner since Aug 2023. Last updated 9 months ago.