List of Proof Repositories

To help people bootstrap and find other users reviewing crates, we collect links to Proof Repositories. Feel free to add your repo to the list below.

The easy way to trust a user is:

cargo crev trust #url_to_a_public_proof_repo#

e.g. to trust the authors of cargo-crev:

cargo crev trust --level medium https://github.com/dpc/crev-proofs https://github.com/kornelski/crev-proofs

You can also quickly discover and list other users with:

cargo crev repo fetch url https://gitlab.com/crev-dev/auto-crev-proofs
cargo crev repo fetch all
cargo crev id query all

Rust reviews on web.crev.dev

A comprehensive list of all crev users on web.crev.dev

Click on the author's name to open more details, including the commands to fetch the repo and add author to trusted.

List of repositories

• https://github.com/dpc/crev-proofs # link
• https://github.com/oherrala/crev-proofs # link
• https://github.com/Canop/crev-proofs # link
• https://github.com/Mark-Simulacrum/crev-proofs # link
• https://github.com/kornelski/crev-proofs # link
• https://gitlab.com/KonradBorowski/crev-proofs # link
• https://github.com/BurntSushi/crev-proofs # link
• https://github.com/qnighy/crev-proofs # link
• https://github.com/programmerjake/crev-proofs # link
• https://github.com/kpcyrd/crev-proofs # link
• https://github.com/MaulingMonkey/crev-proofs # link
• https://gitlab.com/phgsng/crev-proofs # link
• https://github.com/vorner/crev-proofs # link
• https://github.com/zoechi/crev-proofs # link
• https://github.com/dbrgn/crev-proofs # link
• https://github.com/HeroicKatora/crev-proofs # link
• https://github.com/niklasf/crev-proofs # link
• https://github.com/LucianoBestia/crev-proofs # link
• https://github.com/jhpratt/crev-proofs # link
• https://github.com/roblabla/crev-proofs # link
• https://github.com/tokcum/crev-proofs # link
• https://github.com/yvt/crev-proofs # link
• https://github.com/derekdreery/crev-proofs # link

Additionally, we now get a list of all people who forked the crev-proofs template on GitHub (and on GitLab).