Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by coq-community
A curated list of projects in awesome lists by coq-community .
https://github.com/coq-community/coq-tricks
Tricks you wish the Coq manual told you [maintainer=@tchajed]
Last synced: 01 Aug 2024
https://github.com/coq-community/vscoq
A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]
coq editor vscode vscode-extension vscodium
Last synced: 02 Aug 2024
https://github.com/coq-community/math-classes
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
coq coq-ci coq-library coq-platform mathematics typeclasses
Last synced: 31 Jul 2024
https://github.com/coq-community/coq-ext-lib
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
coq coq-ci coq-platform library programming
Last synced: 04 Aug 2024
https://github.com/coq-community/corn
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]
coq coq-ci coq-library coq-platform real-number
Last synced: 31 Jul 2024
https://github.com/coq-community/coq-art
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
coq coq-art docker-coq-action exercises
Last synced: 02 Aug 2024
https://github.com/coq-community/coqeal
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
coq coq-ci coq-platform mathcomp mathcomp-ci refinement
Last synced: 04 Aug 2024
https://github.com/coq-community/coq-100-theorems
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
Last synced: 02 Aug 2024
https://github.com/coq-community/semantics
A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abstract interpretation [maintainer=@k4rtik]
coq programming-language-semantics
Last synced: 04 Aug 2024
https://github.com/coq-community/reglang
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
coq coq-nix-toolbox coq-platform docker-coq-action mathcomp mathcomp-ci regexp regular-languages ssreflect
Last synced: 04 Aug 2024
https://github.com/coq-community/coq-nix-toolbox
Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
Last synced: 04 Aug 2024
https://github.com/coq-community/alea
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
coq monad paper-artifacts probability randomized-algorithms
Last synced: 04 Aug 2024
https://github.com/coq-community/bignums
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
coq coq-ci coq-platform coq-plugin docker-coq-action large-numbers
Last synced: 04 Aug 2024
https://github.com/coq-community/metaprogramming-rosetta-stone
A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming languages [maintainer=@yforster]
coq coq-plugin metaprogramming
Last synced: 04 Aug 2024
https://github.com/coq-community/tarjan
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 mathcomp-ci ssreflect tarjan-algorithm
Last synced: 04 Aug 2024