Trending Coq Projects

This page lists the top trending projects based on the growth of GitHub stars.
It is updated once every week. The last update was on 20 Sep 2021.
» Get a weekly report « straight in your inbox. Every Friday.

Top 7 Trending Coq Projects

  • GitHub repo sail-riscv

    Sail RISC-V model

  • GitHub repo fiat-crypto

    Cryptographic Primitive Code Generation by Fiat

  • GitHub repo CoqGym

    A Learning Environment for Theorem Proving with the Coq proof assistant

  • GitHub repo HoTT

    Homotopy type theory

  • GitHub repo CompCert

    The CompCert formally-verified C compiler

  • GitHub repo InteractionTrees

    A Library for Representing Recursive and Impure Programs in Coq

  • GitHub repo vellvm

    The Vellvm (Verified LLVM) coq development.

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 sail-riscv 10.9%
2 fiat-crypto 6.2%
3 CoqGym 4.6%
4 HoTT 1.8%
5 CompCert 1.2%
6 InteractionTrees 0.7%
7 vellvm 0.4%