pombredanne/proof-general
Outdated copy of https://github.com/ProofGeneral/PG
Public GitHub Catalog
Discovered Sep 25, 2026
pombredanne / freedombox-privoxy
FreedomBox version of Privoxy
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.
#3430245GitHub System ID
pombredanneOrganization / User
PublicVisibility
ActiveCatalog Status
More from pombredanne
pombredanne/PG
This repo is the new home of Proof-General (http://proofgeneral.inf.ed.ac.uk/ will be updated soon)
pombredanne/confire
A simple app configuration scheme using YAML and class based defaults.
pombredanne/sonar-1
A small, lightweight uptime app - pings an endpoint and saves data about response