1.jasmin-lang / jasmin
Language for high-assurance and high-speed cryptography
+29 stars
from 361 · score 3.40
Trending repositories
Ranked by Attention Score: stars gained over the last 90 complete days
10 repositories by Attention Score · Aug 7, 2026 – Nov 4, 2026 (UTC)
2.MetaRocq / metarocq
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
- coq
- metaprogramming
- coq-formalization
- rocq
+23 stars
from 545 · score 3.18
3.CertiRocq / certirocq
A Verified Compiler for Gallina, Written in Gallina
- coq
- gallina
- compiler
- formal-verification
- rocq-prover
+11 stars
from 172 · score 2.48
4.rocq-prover / vsrocq
Visual Studio Code extension for Rocq
- coq
- vscode
- vscode-extension
- editor
- vscodium
- rocq
- +1 more
+10 stars
from 454 · score 2.40
5.DeepSpec / InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
+7 stars
from 254 · score 2.08
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
+2 stars
from 89 · score 1.10
7.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
8.rocq-community / math-classes
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
- coq-ci
- coq-platform
+1 stars
from 168 · score 0.69
9.AU-COBRA / ConCert
A framework for smart contract verification in Coq
- blockchain
- coq
- smart-contracts
- verification
+1 stars
from 128 · score 0.69
+1 stars
from 95 · score 0.69