Statistics for topic coq

RepositoryStats tracks 639,270 Github repositories, of these 90 are tagged with the coq topic. The most common primary language for repositories using this topic is Coq (54).

Stargazers over time for topic coq

Most starred repositories for topic coq (view more)

rocq rocq-prover

679

5.0k

lgpl-2.1

104

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment f...

coq dependent-types proof-assistant theorem-proving

Created 2011-02-17

45,582 commits to master branch, last one a day ago

CompCert AbsInt

234

2.0k

other

62

The CompCert formally-verified C compiler

c coq compcert compiler

Created 2014-09-18

3,209 commits to master branch, last one 24 days ago

UniMath UniMath

175

977

other

56

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,332 commits to master branch, last one 4 days ago

68

935

unknown

52

《软件基础》中译版 Software Foundations Chinese Translation

coq translation chinese-translation

Created 2018-04-04

127 commits to master branch, last one 3 years ago

coq-of-rust formal-land

31

889

agpl-3.0

13

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦

coq rust proof formal-verification

Created 2022-12-28

2,747 commits to main branch, last one 4 days ago

magmide magmide

13

823

unknown

52

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 about a year ago

Trending repositories for topic coq (view more)