Trending Coq Projects

Top 19 Trending Coq Projects

• koika

  1 129 4.7%

  A core language for rule-based hardware design 🦑

  

• sail-riscv

  2 398 4.5%

  Sail RISC-V model

  

• jasmin

  3 225 4.4%

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

  

• kami

  4 141 4.3%

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

  

• ConCert

  5 110 3.6%

  A framework for smart contract verification in Coq

  

• analysis

  6 182 3.3%

  Mathematical Components compliant Analysis Library (by math-comp)

  

• math-comp

  7 554 2.3%

  Mathematical Components

  

• fourcolor

  8 151 2.0%

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

  

• fiat-crypto

  9 695 1.9%

  Cryptographic Primitive Code Generation by Fiat

  

• toychain

  10 110 1.8%

  A minimalistic blockchain consensus implemented and verified in Coq

  

• CompCert

  11 1,777 1.5%

  The CompCert formally-verified C compiler

  

• UniMath

  12 918 1.3%

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

  

• Coq-HoTT

  13 1,223 1.1%

  A Coq library for Homotopy Type Theory

  

• InteractionTrees

  14 191 1.0%

  A Library for Representing Recursive and Impure Programs in Coq

  

• corn

  15 108 0.9%

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

  

• CoqGym

  16 370 0.8%

  A Learning Environment for Theorem Proving with the Coq proof assistant

  

• magmide

  17 808 0.7%

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

  

• verdi-raft

  18 178 0.6%

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

  

• fiat

  19 145 0.0%

  Mostly Automated Synthesis of Correct-by-Construction Programs

  

Index