pombredanne/proof-general
Outdated copy of https://github.com/ProofGeneral/PG
Public GitHub Catalog
Discovered Sep 28, 2026
pombredanne / skulpt-dist
Skulpt repository to facilitate bower integration.
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.
#13535886GitHub 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