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 27 May 2024.
» Get a weekly report « straight in your inbox. Every Friday.

Top 19 Trending Coq Projects

  • koika

    A core language for rule-based hardware design 🦑

  • sail-riscv

    Sail RISC-V model

  • kami

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

  • jasmin

    Language for high-assurance and high-speed cryptography (by jasmin-lang)

  • analysis

    Mathematical Components compliant Analysis Library (by math-comp)

  • math-comp

    Mathematical Components

  • fourcolor

    Formal proof of the Four Color Theorem [maintainer=@ybertot]

  • fiat-crypto

    Cryptographic Primitive Code Generation by Fiat

  • ConCert

    A framework for smart contract verification in Coq

  • toychain

    A minimalistic blockchain consensus implemented and verified in Coq

  • CompCert

    The CompCert formally-verified C compiler

  • UniMath

    This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

  • Coq-HoTT

    A Coq library for Homotopy Type Theory

  • InteractionTrees

    A Library for Representing Recursive and Impure Programs in Coq

  • corn

    Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]

  • CoqGym

    A Learning Environment for Theorem Proving with the Coq proof assistant

  • 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

  • fiat

    Mostly Automated Synthesis of Correct-by-Construction Programs

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.7%
2 sail-riscv 4.5%
3 kami 4.3%
4 jasmin 4.0%
5 analysis 3.3%
6 math-comp 2.3%
7 fourcolor 2.0%
8 fiat-crypto 1.9%
9 ConCert 1.9%
10 toychain 1.8%
11 CompCert 1.5%
12 UniMath 1.3%
13 Coq-HoTT 1.1%
14 InteractionTrees 1.0%
15 corn 0.9%
16 CoqGym 0.8%
17 magmide 0.7%
18 verdi-raft 0.6%
19 fiat 0.0%