1.MetaRocq / metarocq
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
- coq
- metaprogramming
- coq-formalization
- rocq
+49 stars
from 519 · score 3.91
Trending repositories
Ranked by Attention Score: stars gained over the last 180 complete days
8 repositories by Attention Score · May 9, 2026 – Nov 4, 2026 (UTC)
2.jasmin-lang / jasmin
Language for high-assurance and high-speed cryptography
+40 stars
from 350 · score 3.71
3.rocq-prover / vsrocq
Visual Studio Code extension for Rocq
- coq
- vscode
- vscode-extension
- editor
- vscodium
- rocq
- +1 more
+22 stars
from 442 · score 3.14
4.CertiRocq / certirocq
A Verified Compiler for Gallina, Written in Gallina
- coq
- gallina
- compiler
- formal-verification
- rocq-prover
+20 stars
from 163 · score 3.04
5.DeepSpec / InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
+14 stars
from 247 · score 2.71
6.SSProve / ssprove
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
- formal-verification
- modular-cryptographic-proofs
+9 stars
from 82 · score 2.30
+2 stars
from 94 · score 1.10
8.CertiGraph / CertiGraph
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
- coq
- vst
- compcert
- graph-algorithms
+2 stars
from 19 · score 1.10