An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
Repository Index
47,133 repositories indexed
1–11 of 11 · Most stars
Language for high-assurance and high-speed cryptography
A function definition package for Rocq
- coq
- programming-language
- dependent-types
- rocq
A framework for smart contract verification in Coq
- blockchain
- coq
- smart-contracts
- verification
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
- coq
- mathcomp
- 2-3-tree
- avl-tree
Library to create Coq record update functions
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm
Reimplementation of Natural Number Game in Coq