manifesto
Package repository
A collaborative effort to maintain and promote Coq packages and tools.
Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.
68 stars
11 watching
6 forks
last commit: 7 months ago
Linked from 1 awesome list
community-drivencoqmanifesto
Related projects:
| Repository | Description | Stars |
|---|---|---|
| coq-community/coq-ext-lib | A collection of reusable Coq definitions and theorems for building software development tools | 129 |
| coq-community/topology | Develops and formalizes basic concepts and results of general topology in Coq. | 47 |
| coq-community/templates | Provides template files for generating configuration and boilerplate for Coq projects | 13 |
| coq-community/corn | A comprehensive formalization of mathematical structures and concepts for verified computation in Coq. | 111 |
| coq-community/chapar | A framework for verifying causal consistency in distributed key-value stores and their clients using the Coq proof assistant | 32 |
| coq-community/reglang | Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant | 41 |
| coq-community/semantics | A comprehensive survey of programming language semantics styles implemented in Coq | 45 |
| coq-community/bits | A formalization of bitset operations in Coq with extraction to OCaml native integers. | 22 |
| coq-community/fav-ssr | A comprehensive library of verified data structures and algorithms in Coq | 45 |
| coq-community/lemma-overloading | A Coq library demonstrating design patterns for automated proof automation and canonical structures | 26 |
| coq-community/parseque | A Coq library that provides a total parser combinator library with support for building parsers and grammars in the language of Coq. | 42 |
 coq/platform | A multi-platform distribution of the Coq proof assistant and its libraries, providing a standardized setup for development and teaching | 188 |
| coq-community/gaia | A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics | 28 |
 coq-concurrency/pluto | A Coq-based web server written in a functional programming language | 86 |
| coq-community/graph-theory | A comprehensive Coq library formalizing various results in graph theory, providing a rigorous foundation for theoretical and applied graph theory research. | 34 |