Awesome Open Source

Programming Languages

Search results for continuous integration coq

continuous-integration x

2 search results found

Docker Coq ⭐ 32

Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action [maintainers=@erikmd,@himito]

Docker Coq Action ⭐ 12

GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]

Templates ⭐ 11

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

Docker Mathcomp ⭐ 6

Docker images of coq-mathcomp [maintainer=@erikmd]

Docker Coq Github Action Demo ⭐ 5

Demo of a regular Coq project using docker-coq-action as CI setup

Related Searches

Javascript Continuous Integration (2,028)

Docker Continuous Integration (1,783)

Python Continuous Integration (1,586)

Shell Continuous Integration (1,472)

Testing Continuous Integration (1,071)

Golang Continuous Integration (976)

Php Continuous Integration (964)

Ocaml Coq (164)

Haskell Coq (63)

1-2 of 2 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.