Lib.rs

› Users #verus #inline #verified-rust #single-file

jaybosamiya

Jay Bosamiya

Joined crates-io a year ago. Joined GitHub 11 years ago.

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