Projects in Awesome Lists by coq
A curated list of projects in awesome lists by coq .
https://github.com/coq/vscoq
Visual Studio Code extension for Coq
coq editor vscode vscode-extension vscodium
Last synced: 25 Mar 2025
https://github.com/coq/platform
Multi platform setup for Coq, Coq libraries and tools
Last synced: 20 Mar 2025
https://github.com/coq/opam
Archive for all Coq related OPAM packages organized in various repositories
Last synced: 25 Mar 2025
https://github.com/rocq-prover/bot
A (Coq Development Team) bot written in OCaml
bot github github-api github-app gitlab gitlab-api ocaml webhook
Last synced: 19 Oct 2025
https://github.com/rocq-prover/repo-stable-disabled
The repository for stable Coq packages.
Last synced: 01 Oct 2025
https://github.com/rocq-prover/coq-bench
Scripts for differential performance testing of Coq packages / versions
Last synced: 01 Oct 2025
https://github.com/rocq-prover/coq-on-cachix
This repository follows Coq active branches but is only updated when the latest commit is available as binary on https://coq.cachix.org
Last synced: 19 Oct 2025
https://github.com/rocq-prover/repo-unstable-disabled
The repository for development packages.
Last synced: 01 Oct 2025
https://github.com/rocq-prover/roadmaps
This was used to prepare the versions 8.6-8.8.
Last synced: 01 Oct 2025
https://github.com/rocq-prover/repo-coqs-disabled
The repository for Coq versions for developers.
Last synced: 01 Oct 2025
https://github.com/rocq-prover/opam-coq-shell
attempt to create a simplified shell for opam when installing coq
Last synced: 01 Oct 2025