Statistics for topic coq

RepositoryStats tracks 579,582 Github repositories, of these 85 are tagged with the coq topic. The most common primary language for repositories using this topic is Coq (52).

Stargazers over time for topic coq

Most starred repositories for topic coq (view more)

649
4.8k
lgpl-2.1
103
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,287 commits to master branch, last one 19 hours ago
228
1.9k
other
63
The CompCert formally-verified C compiler
Created 2014-09-18
3,156 commits to master branch, last one 7 days ago
174
960
other
57
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Created 2014-03-01
10,260 commits to master branch, last one a day ago
67
920
unknown
53
《软件基础》中译版 Software Foundations Chinese Translation
Created 2018-04-04
127 commits to master branch, last one 2 years ago
13
812
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 7 months ago
69
752
bsd-3-clause
20
An axiom-free formalization of category theory in Coq for personal study and practical work
Created 2014-07-04
1,541 commits to master branch, last one about a month ago

Trending repositories for topic coq (view more)