jtraver/coq
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.
Public GitHub Catalog
Discovered Sep 30, 2026
jtraver / AerospikeMonitoring
Nagios scripts for Aerospike
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#16813752GitHub System ID
jtraverOrganization / User
PublicVisibility
ActiveCatalog Status
More from jtraver
jtraver/Ganglia-Modules
Useful modules for Ganglia Monitoring
jtraver/ansible
Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy. Avoid writing scripts or custom code to deploy and update your applications— automate in a language that approaches plain English, using SSH, with no agents to install on remote systems.
jtraver/ansible-modules-extras
Ansible extra modules - these modules ship with ansible