Trending Coq Projects

Top 19 Trending Coq Projects

• koika

  1 128 6.3%

  A core language for rule-based hardware design 🦑

  

• jasmin

  2 221 5.4%

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

  

• sail-riscv

  3 385 2.9%

  Sail RISC-V model

  

• fiat-crypto

  4 686 2.8%

  Cryptographic Primitive Code Generation by Fiat

  

• fourcolor

  5 150 2.7%

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

  

• InteractionTrees

  6 189 2.6%

  A Library for Representing Recursive and Impure Programs in Coq

  

• CoqGym

  7 370 2.4%

  A Learning Environment for Theorem Proving with the Coq proof assistant

  

• analysis

  8 180 2.2%

  Mathematical Components compliant Analysis Library (by math-comp)

  

• math-comp

  9 546 2.0%

  Mathematical Components

  

• toychain

  10 110 1.8%

  A minimalistic blockchain consensus implemented and verified in Coq

  

• CompCert

  11 1,761 1.8%

  The CompCert formally-verified C compiler

  

• kami

  12 136 1.5%

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

  

• fiat

  13 145 1.4%

  Mostly Automated Synthesis of Correct-by-Construction Programs

  

• magmide

  14 804 1.0%

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

  

• ConCert

  15 107 0.9%

  A framework for smart contract verification in Coq

  

• UniMath

  16 908 0.9%

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

  

• Coq-HoTT

  17 1,213 0.6%

  A Coq library for Homotopy Type Theory

  

• corn

  18 108 0.0%

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

  

• verdi-raft

  19 177 0.0%

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

  

Index