Statistics for topic coq

RepositoryStats tracks 605,146 Github repositories, of these 87 are tagged with the coq topic. The most common primary language for repositories using this topic is Coq (52). Other languages include: OCaml (11)

Stargazers over time for topic coq

Most starred repositories for topic coq (view more)

662
4.9k
lgpl-2.1
105
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive developme...
Created 2011-02-17
44,874 commits to master branch, last one 13 hours ago
231
1.9k
other
62
The CompCert formally-verified C compiler
Created 2014-09-18
3,181 commits to master branch, last one a day ago
172
971
other
57
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Created 2014-03-01
10,270 commits to master branch, last one 29 days ago
68
926
unknown
53
《软件基础》中译版 Software Foundations Chinese Translation
Created 2018-04-04
127 commits to master branch, last one 2 years ago
13
811
unknown
51
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Created 2020-08-21
195 commits to main branch, last one 9 months ago
72
761
bsd-3-clause
20
An axiom-free formalization of category theory in Coq for personal study and practical work
Created 2014-07-04
1,549 commits to master branch, last one 13 days ago

Trending repositories for topic coq (view more)