Bryan Parno

nameBryan Parno
Crates.io:parno
GitHub user:parno
name repo

Crates

name update at owner repo count CI fmt
vstd 2026-01-25 00:58:25.331086+00 Chris Hawblitzel (Microsoft) repo 3930 GitHub Action fmt
verus_builtin_macros 2026-01-25 00:58:12.637269+00 Chris Hawblitzel (Microsoft) repo 3930 GitHub Action fmt
verus_state_machines_macros 2026-01-25 00:58:03.035143+00 Chris Hawblitzel (Microsoft) repo 3930 GitHub Action fmt
verus_prettyplease 2026-01-25 00:57:54.296149+00 Bryan Parno repo 536 GitHub Action fmt
verus_builtin 2026-01-25 00:57:45.684149+00 Chris Hawblitzel (Microsoft) repo 3930 GitHub Action fmt
verus_syn 2026-01-25 00:57:40.924496+00 Chris Hawblitzel (Microsoft) repo 5239 GitHub Action fmt
vest 2026-01-14 13:26:58.386183+00 Yi Cai repo 355 GitHub Action fmt
vest_lib 2026-01-03 14:37:09.77256+00 Yi Cai repo 355 GitHub Action fmt
verusfmt 2025-10-25 00:14:39.354045+00 Bryan Parno repo 638 GitHub Action fmt
cargo-verus 2025-07-01 00:57:40.318524+00 Andrea Lattuada repo 3930 GitHub Action fmt
verus 2024-03-13 18:59:33.987196+00 Bryan Parno repo 3930 GitHub Action fmt