Pinned Loading

1. polaris polaris Public

   A program logic for concurrent randomized programs

   Coq 17 1

2. coq-proba coq-proba Public

   A Probability Theory Library for the Coq Theorem Prover

   Coq 55 6

3. mit-pdos/perennial mit-pdos/perennial Public

   Verifying concurrent storage and distributed systems

   Rocq Prover 236 50

4. ProbCompCert ProbCompCert Public

   Forked from AbsInt/CompCert

   Verified compilation for probabilistic programs

   Coq 2 1

5. mit-pdos/daisy-nfsd mit-pdos/daisy-nfsd Public

   DaisyNFS is an NFS server verified using Dafny and Perennial.

   Dafny 44 6

6. logsem/clutch logsem/clutch Public

   Probabilistic separation logics for verifying higher-order probabilistic programs.

   Rocq Prover 41 10