Coq Nix Toolbox

MITNix

Nix helper scripts to automate local builds and CI for Coq projects, integrating with GitHub Actions and Cachix.

GitHub

56 stars22 forks0 contributors

Overview

Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]

Related Projects

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.

Submit a project Star on GitHub

3 days ago

CreatedSince 2021

Built With

Nix

Included in

Coq380

Auto-fetched 1 day ago

Coq Platform

Multi platform setup for Rocq, Rocq libraries and tools

Stars239

Forks55

Last commit7 days ago

Docker-Coq

Docker 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 Templates

Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]

Stars17

Forks11

Last commit4 months ago

Docker-MathComp

Docker images of coq-mathcomp [maintainer=?]

Stars6

Forks3

Last commit3 days ago