coq-community
A project for a collaborative, community-driven effort for the long-term maintenance and advertisement of Coq packages.
Pinned
Repositories
Showing 10 of 70 repositories
- vscoq Public
A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]
- run-coq-bug-minimizer Public
Repository for triggering runs of the Coq bug minimizer using GitHub Actions [maintainer=@JasonGross]
- coq-nix-toolbox Public
Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
- awesome-coq Public
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]
- coq-performance-tests-plots-history Public
Maintaining plot history for coq-community/coq-performance-tests gh-pages branch [maintainer=@JasonGross]
- coq-performance-tests Public
A library of Coq source files testing for performance regressions on Coq [maintainer=@JasonGross]