Lib.rs

› Users #verus #verified-rust

parno

Bryan Parno

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

GitHub
crates.io
Home (andrew.cmu.edu)
Maintainer dashboard

Member of GitHub orgs

project-everest

Shares crates with

jaybosamiya, utaal

Co-owns 3 crates

verusfmt

Member since Feb 2024 (a year)
verus

Member since Jun 2024 (7 months)
vstd

Member since Jun 2024 (7 months)

Based on data from crates.io, GitHub, rustaceans.org, and other public sources. These pages are automatically generated for crates-io owners, and do not imply endorsement by either the Rust Project nor the users presented here.

Lib.rs is an unofficial list of Rust/Cargo crates, created by kornelski.