ptroja/opam
OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Public GitHub Catalog
Discovered Oct 7, 2026
ptroja / PVS
Public repository discovered through GitHub real-time crawl.
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.
#36506028GitHub System ID
ptrojaOrganization / User
PublicVisibility
ActiveCatalog Status
More from ptroja
ptroja/pp-contrib
pp-contrib is a collection of contributed examples and tools for ProofPower users.
ptroja/pp
ProofPower is an open source suite of tools for specification and proof in HOL and Z.
ptroja/HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.