Top 100 Best GitHub Repositories for Coq

Coq is a formal proof management system and programming language, widely used in theorem proving and formal verification. This page gathers essential Coq resources for advancing logical and mathematical proofs.

Best 100 Repositories for Coq

Enabling precise verification and proof development, Coq supports complex formal systems. Discover the best 100 GitHub repositories in Coq programming language to enhance your expertise in formal verification.

• CompCert

  
• stalin-sort

  
• Coq-HoTT

  
• UniMath

  
• magmide

  
• category-theory

  
• fiat-crypto

  
• frap

  
• verdi

  
• math-comp

  
• coq-tricks

  
• sail-riscv

  
• VST

  
• coq-of-rust

  
• CoqGym

  
• metacoq

  
• bedrock2

  
• proofs

  
• hs-to-coq

  
• jasmin

  
• QuickChick

  
• hacspec

  
• Foundations

  
• fscq

  
• Coq-Equations

  
• cnn_open

  
• analysis

  
• InteractionTrees

  
• Kami

  
• jscert

  
• GeoCoq

  
• verdi-raft

  
• coq-chick-blog

  
• coq-haskell

  
• fourcolor

  
• math-classes

  
• pnp

  
• ergo

  
• perennial

  
• Coq-BB5

  
• fiat

  
• iron

  
• kami

  
• advent-of-coq-2018

  
• coq-elpi

  
• koika

  
• certicoq

  
• coq-serapi

  
• coq-ext-lib

  
• silveroak

  
• ceramist

  
• ConCert

  
• TypeTheory

  
• toychain

  
• coq-art

  
• riscv-coq

  
• FPGA_ThreeLevelStorage

  
• coq-library-undecidability

  
• corn

  
• PeaCoq

  
• mindless-coding

  
• coq-pipes

  
• tokenlibs-with-proofs

  
• disel

  
• WasmCert-Coq

  
• Categories

  
• falso

  
• QWIRE

  
• formal-type-theory

  
• ch2o

  
• vericert

  
• collapsing-towers

  
• coq-dpdgraph

  
• dsss17

  
• pluto

  
• minidot

  
• MPCTT

  
• SQIR

  
• lambda-calculus

  
• hs-to-coq

  
• Schools

  
• UPDuino_v2_0

  
• metalib

  
• sfja

  
• gamepad

  
• BRiCk

  
• htt

  
• monae

  
• hydra-battles

  
• coqeal

  
• FormalML

  
• coq-in-coq

  
• corespec

  
• io

  
• infotheo

  
• cdf-mech-sem

  
• scala-escape

  
• dot-calculus

  
• name-the-biggest-number

  
• Set-Theory