Cryptographic Primitive Code Generation by Fiat
7 daysStars84424h gain-Score0.0
Rocq Prover
Trending Rocq Prover repositories, ranked by momentum.
9 results
- Place 10.0
An axiom-free formalization of category theory in Coq for personal study and practical work
- Place 20.0
Verified Software Toolchain
- Place 30.0
Mathematical Components
RankRepository7 daysStars24h gainScore
Language for high-assurance and high-speed cryptography
7 daysStars37524h gain-Score0.0
A Verified Compiler for Gallina, Written in Gallina
7 daysStars18324h gain-Score0.0
Visual Studio Code extension for Rocq
7 daysStars46524h gain0Score0.0
Development repo for translating Software Foundations to Lean
7 daysStars19924h gain-Score0.0
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
7 daysStars20024h gain+2Score0.0
Follow this list in a feed reader(Atom, top 25)