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 Sep 24, 2026
ptroja / orocos-ocl
Orocos Component Library
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.
#667953GitHub System ID
ptrojaOrganization / User
PublicVisibility
ActiveCatalog Status
More from ptroja
ptroja/PVS
Public repository.
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.