coq-nix-toolbox
Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
AI summary
Coq builder
Automates Coq project setup and Continuous Integration with Nix package manager
- stars
- 34
- forks
- 12
- watching
- 5
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Coq toolset
A collection of reusable Coq definitions and theorems for building software development tools
Regular language library
Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant
Nix toolset
Tools to help build and manage Crystal projects using Nix.
Topology library
Develops and formalizes basic concepts and results of general topology in Coq.
Math library
A comprehensive formalization of mathematical structures and concepts for verified computation in Coq.
Android builder
Builds Android images using Nix package manager and build tool
Nix distro
A Linux distribution based on Nix with a simpler design and minimal package set
Config manager
A Neovim configuration system built around Nix modules.
Syntax automator
Automates formalizing syntactic theories with variable binders in Coq
nixos/hydra1.2K
CI service
A continuous integration service for Nix-based projects
Algebra library
A Coq library providing algebraic data structures and algorithms
Puzzle game
A Coq implementation of the Japanese warehouse keeper's puzzle game Sokoban
Coq tips
A resource for discovering useful techniques and tricks in Coq
Number library
A Coq library providing support for arbitrarily large numbers
Package locator
A tool to quickly locate nix packages providing specific files.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions coq-nix-toolbox.