Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
The Top 10 Coq Open Source Projects
Open source projects categorized as Coq
Categories
>
Mathematics
>
Coq
Edit Category
coq/coq
⭐
4,501
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 development of machine-checked proofs.
dependent packages
0
total releases
0
most recent commit
about 2 years ago
AbsInt/CompCert
⭐
1,696
The CompCert formally-verified C compiler
dependent packages
0
total releases
0
most recent commit
over 2 years ago
gustavo-depaula/stalin-sort
⭐
1,381
Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️
dependent packages
0
total releases
0
most recent commit
over 2 years ago
jozefg/learn-tt
⭐
1,307
A collection of resources for learning type theory and type theory adjacent fields.
dependent packages
0
total releases
0
most recent commit
over 5 years ago
HoTT/Coq-HoTT
⭐
1,201
A Coq library for Homotopy Type Theory
dependent packages
0
total releases
0
most recent commit
about 2 years ago
UniMath/UniMath
⭐
888
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
dependent packages
0
total releases
0
most recent commit
about 2 years ago
magmide/magmide
⭐
778
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
dependent packages
0
total releases
0
most recent commit
over 2 years ago
jwiegley/category-theory
⭐
720
An axiom-free formalization of category theory in Coq for personal study and practical work
dependent packages
0
total releases
0
most recent commit
over 2 years ago
Coq-zh/SF-zh
⭐
704
《软件基础》中译版 Software Foundations Chinese Translation
dependent packages
0
total releases
0
most recent commit
about 4 years ago
mit-plv/fiat-crypto
⭐
656
Cryptographic Primitive Code Generation by Fiat
dependent packages
0
total releases
0
most recent commit
about 2 years ago
Get A Weekly Email With Trending Coq Projects
No Spam. Unsubscribe easily at any time.
Coq
Subscribe
Javascript must be enabled to subscribe.
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2026 Awesome Open Source. All rights reserved.
