Coq Nix Toolbox
MITNix
Nix helper scripts to automate local builds and CI for Coq projects, integrating with GitHub Actions and Cachix.
57 stars24 forks0 contributors
Overview
Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
Related Projects
Coq PlatformMulti platform setup for Rocq, Rocq libraries and tools
Stars246
Forks55
Last commit1 month ago
Docker-CoqDocker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
Stars40
Forks4
Last commit1 year ago
coq-community TemplatesTemplates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
Stars17
Forks11
Last commit5 months ago
Docker-MathCompDocker images of coq-mathcomp [maintainer=?]
Stars6
Forks3
Last commit21 days ago
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.