1.jasmin-lang / jasmin
Language for high-assurance and high-speed cryptography
+16 stars
from 374 · score 2.83
Trending repositories
Ranked by Attention Score: stars gained over the last 30 complete days
7 repositories by Attention Score · Oct 6, 2026 – Nov 4, 2026 (UTC)
2.MetaRocq / metarocq
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
- coq
- metaprogramming
- coq-formalization
- rocq
+12 stars
from 556 · score 2.56
3.rocq-prover / vsrocq
Visual Studio Code extension for Rocq
- coq
- vscode
- vscode-extension
- editor
- vscodium
- rocq
- +1 more
+4 stars
from 460 · score 1.61
4.CertiRocq / certirocq
A Verified Compiler for Gallina, Written in Gallina
- coq
- gallina
- compiler
- formal-verification
- rocq-prover
+3 stars
from 180 · score 1.39
5.DeepSpec / InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
+2 stars
from 259 · score 1.10
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
+1 stars
from 90 · score 0.69
7.CertiGraph / CertiGraph
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
- coq
- vst
- compcert
- graph-algorithms
+1 stars
from 20 · score 0.69