» Tag
program-analysis
1 postsAlerus Brings Formal Verification to Probabilistic Rust Code
Alerus extends Verus with error-credit reasoning to formally verify randomized sampling algorithms in real Rust code, with soundness proved in Rocq.
CommitBrief — AI code reviews, right in your terminal
A provider-agnostic, local-first CLI that reviews your staged changes, a historic range, or a whole GitHub pull request. Zero telemetry, no server. Free and open source.
commitbrief.com