Coq Nix Toolbox
MITNix
Nix helper scripts to automate local builds and CI for Coq projects, integrating with GitHub Actions and Cachix.
54 stars22 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
Stars238
Forks55
Last commit1 day ago
opamFlexible and Git-friendly package manager for OCaml and Coq with multiple compiler support
Stars0
Forks0
Last commit
coq_makefileBuild tool distributed with Coq and based on generating a makefile
Stars0
Forks0
Last commit
nixPowerful package manager for Linux and other Unix systems that makes package management reliable and reproducible
Stars0
Forks0
Last commit
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.