Awesome Open Source
Awesome Open Source
Combined Topics
coq x

The Top 1,422 Coq Open Source Projects on Github

1-100 of 1,422 projects

Related Projects

Coq Mathcomp Projects (37)
Ocaml Coq Projects (33)
Coq Ssreflect Projects (27)
Coq Formal Verification Projects (27)
Coq Mathcomp Ssreflect Projects (26)
Coq Verification Projects (20)
Coq Proof Assistant Projects (19)
Coq Proof Projects (19)
Coq Theorem Proving Projects (18)
Haskell Coq Projects (15)
Coq Formalization Projects (14)
Html Coq Projects (13)
Coq Type Theory Projects (12)
Javascript Coq Projects (12)
Coq Dependent Types Projects (11)
Coq Monad Projects (11)
Coq Formal Methods Projects (11)
Python Coq Projects (11)
Coq Separation Logic Projects (10)
Coq Fpga Projects (10)
Coq Lambda Calculus Projects (9)
Functional Programming Coq Projects (9)
Verilog Coq Projects (9)
Mathematics Coq Projects (8)
Coq Concurrency Projects (8)
Distributed Systems Coq Projects (7)
Coq Agda Projects (7)
Coq Category Theory Projects (6)
Compiler Coq Projects (6)
Emacs Coq Projects (6)
Coq Proof General Projects (6)
Tutorial Coq Projects (6)
Coq Opam Projects (6)
Distributed Systems Coq Proof Projects (5)
Library Coq Projects (5)
Coq Idris Projects (5)
Coq Reflection Projects (5)
Emacs Lisp Coq Projects (4)
Emacs Lisp Coq Proof General Projects (4)
Coq Theorem Proving Proof Assistant Projects (4)
C Coq Projects (4)
Coq Compcert Projects (4)
Translation Coq Projects (4)
Emacs Coq Proof General Projects (4)
Coq Metaprogramming Projects (4)
Book Coq Projects (4)
Programming Language Coq Projects (4)
Coq Typeclasses Projects (4)
Coq Hoare Logic Projects (4)
Scala Coq Projects (4)
Coq Set Theory Projects (4)
Coq Monad Transformers Projects (3)
Coq Dependent Types Theorem Proving Projects (3)
Coq Dependent Types Proof Assistant Projects (3)
Sql Coq Projects (3)
Distributed Systems Coq Proof Verdi Projects (3)
Distributed Systems Coq Verdi Projects (3)
Coq Proof Verdi Projects (3)
Coq Verdi Projects (3)
Coq Proof Assistant Integrated Development Environment Projects (3)
Coq Integrated Development Environment Projects (3)
Machine Learning Coq Projects (3)
Typescript Coq Projects (3)
Coq Formal Verification Type Theory Projects (3)
Python Coq Proof Assistant Projects (3)
Coq Geometry Projects (3)
Coq Serialization Projects (3)
Coq Hardware Projects (3)
Coq Hardware Formal Verification Projects (3)
Coq Category Projects (3)
Coq Certified Programming Projects (3)
Blockchain Coq Projects (3)
Coq Reflection Type Theory Projects (3)
Ocaml Coq Opam Projects (3)
Verilog Coq Fpga Projects (3)
Coq Semantic Projects (3)
Math Coq Projects (3)
Emacs Lisp Coq Proof Assistant Projects (2)
Emacs Lisp Coq Proof Assistant Integrated Development Environment Projects (2)
Ocaml Coq Dependent Types Projects (2)
Ocaml Coq Theorem Proving Projects (2)
Ocaml Coq Proof Assistant Projects (2)
Coq Dependent Types Theorem Proving Proof Assistant Projects (2)
C Coq Compcert Projects (2)
Coq Univalent Foundations Projects (2)
Hacktoberfest Coq Projects (2)
Coq Unimath Projects (2)
Html Translation Coq Projects (2)
Sql Coq Verification Projects (2)
Coq Lean Projects (2)
Emacs Lisp Coq Integrated Development Environment Projects (2)
Emacs Lisp Coq Integrated Development Environment Proof General Projects (2)
Machine Learning Coq Theorem Proving Projects (2)
Testing Coq Projects (2)
Programming Language Coq Dependent Types Projects (2)
Automation Coq Projects (2)
Coq Theorem Prover Projects (2)