Awesome Open Source

Programming Languages

Coqproject

Bash script for simple generation of Coq project metadata files

Categories > Mathematics > Coq

Suggest Alternative

Stars

6

License

No license specified

Most Recent Commit

6 years ago

Programming Language

Shell

Categories

Programming Languages > Shell

Programming Languages > Bash

Applications > Bash Script

Build Tools > Build Tool

Mathematics > Coq

Suggest An Alternative To coqproject

Popular Coq Projects

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

dependent packages 1total releases 4latest release December 27, 2020most recent commit 4 months ago

Compcert ⭐ 1,696

The CompCert formally-verified C compiler

most recent commit 5 months ago

Stalin Sort ⭐ 1,381

Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️

most recent commit 5 months ago

Learn Tt ⭐ 1,307

A collection of resources for learning type theory and type theory adjacent fields.

most recent commit 4 years ago

Unimath ⭐ 888

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

most recent commit 4 months ago

Popular Bash Script Projects

Macos Virtualbox ⭐ 13,205

Push-button installer of macOS Catalina, Mojave, and High Sierra guests in Virtualbox on x86 CPUs for Windows, Linux, and macOS

most recent commit 9 months ago

Wait For It ⭐ 8,267

Pure bash script to test and wait on the availability of a TCP host and port

latest release May 13, 2023most recent commit a year ago

Fhs Install V2ray ⭐ 4,705

Bash script for installing V2Ray in operating systems such as Debian / CentOS / Fedora / openSUSE that support systemd

most recent commit a year ago

Devops ⭐ 2,475

This repo contains all my learning related to DevOps

total releases 11latest release July 07, 2023most recent commit 4 months ago

Introduction To Bash Scripting ⭐ 2,396

Free Introduction to Bash Scripting eBook

most recent commit 6 months ago

Popular Mathematics Categories

Related Searches

Shell Bash Script

Shell Build Tool

Bash Build Tool

Bash Script Build Tool

Get A Weekly Email With Trending Projects For These Categories

No Spam. Unsubscribe easily at any time.

Shell

Bash

Bash Script

Build Tool

Coq

Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

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