Statistics for language Coq

RepositoryStats tracks 534,879 Github repositories, of these 95 are reported to use a primary language of Coq.

Most starred repositories for language Coq (view more)

CompCert AbsInt

220

1.8k

other

The CompCert formally-verified C compiler

c coq compcert compiler

Created 2014-09-18

3,078 commits to master branch, last one 15 days ago

stalin-sort gustavo-depaula

175

1.5k

mit

Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️

stalin-sort hacktoberfest

Created 2018-10-30

513 commits to master branch, last one about a month ago

Coq-HoTT HoTT

184

1.2k

other

A Coq library for Homotopy Type Theory

type-theory homotopy-type-theory univalent-foundations

Created 2011-03-26

5,856 commits to master branch, last one a day ago

UniMath UniMath

170

926

other

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

coq unimath coq-library foundations mathematics

Created 2014-03-01

10,225 commits to master branch, last one 4 days ago

magmide magmide

804

unknown

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

coq logic type-safety verification formal-methods dependent-types formal-verification systems-programming

Created 2020-08-21

195 commits to main branch, last one 3 months ago

category-theory jwiegley

740

bsd-3-clause

An axiom-free formalization of category theory in Coq for personal study and practical work

coq monad monoid functor category comonads cartesian categories profunctor construction category-theory profunctor-composition cartesian-closed-category

Created 2014-07-04

1,527 commits to master branch, last one 2 months ago

Trending repositories for language Coq (view more)

Last 3 days (new repositories)

Last 3 days (absolute gain)

Last 3 days (relative gain)

Last week (new repositories)

Last week (absolute gain)

Last week (relative gain)

Last month (new repositories)

Last month (absolute gain)

Last month (relative gain)

Last 12-months (new repositories)

Last 12-months (absolute gain)

Last 12-months (relative gain)