Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for shell coq
coq
x
shell
x
5 search results found
Platform
⭐
165
Multi platform setup for Coq, Coq libraries and tools
Docker Coq Action
⭐
12
GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]
Saltshaker
⭐
8
Verifying x86 semantics
Coqproject
⭐
6
Bash script for simple generation of Coq project metadata files
Coq Feedstock
⭐
6
A conda-smithy repository for coq.
Related Searches
Shell Docker (20,660)
Shell Script (15,351)
Shell Bash (10,338)
Shell Command Line (6,542)
Shell Dotfiles (5,338)
Shell Git (4,715)
Shell Ansible (4,427)
Shell Server (3,563)
Shell Ssh (3,562)
Shell Docker Image (3,406)
1-5 of 5 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.