Trending Coq Projects

This page lists the top trending Coq projects based on the growth of GitHub stars.
It is updated once every day. The last update was on 28 Nov 2022.
» Get a weekly report « straight in your inbox. Every Friday.

Top 17 Trending Coq Projects

  • koika

    A core language for rule-based hardware design 🦑

  • hacspec

    A specification language for cryptography primitives.

  • InteractionTrees

    A Library for Representing Recursive and Impure Programs in Coq

  • CompCert

    The CompCert formally-verified C compiler

  • sail-riscv

    Sail RISC-V model

  • fiat

    Mostly Automated Synthesis of Correct-by-Construction Programs

  • fiat-crypto

    Cryptographic Primitive Code Generation by Fiat

  • vellvm

    The Vellvm (Verified LLVM) coq development.

  • kami

    A Platform for High-Level Parametric Hardware Specification and its Modular Verification (by mit-plv)

  • Coq-HoTT

    Homotopy type theory

  • magmide

    A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

  • verdi-raft

    An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

  • corn

    Coq Repository at Nijmegen [[email protected],@VincentSe]

  • fourcolor

    Formal proof of the Four Color Theorem [[email protected]]

  • jasmin

    Jasmin compiler (by jasmin-lang)

  • toychain

    A minimalistic blockchain consensus implemented and verified in Coq

  • CoqGym

    A Learning Environment for Theorem Proving with the Coq proof assistant

ABOUT: The growth percentage is calculated as the increase in the number of stars compared to the previous month. We list only projects that have at least 500 stars and a GitHub organization logo set.


What are some of the trending open-source Coq projects? This list will help you:

Project Growth
1 koika 4.0%
2 hacspec 3.1%
3 InteractionTrees 1.8%
4 CompCert 1.7%
5 sail-riscv 1.5%
6 fiat 1.5%
7 fiat-crypto 1.4%
8 vellvm 1.2%
9 kami 0.8%
10 Coq-HoTT 0.7%
11 magmide 0.4%
12 verdi-raft 0.0%
13 corn 0.0%
14 fourcolor 0.0%
15 jasmin 0.0%
16 toychain 0.0%
17 CoqGym 0.0%