zkincaid/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
Public GitHub Catalog
Discovered Oct 1, 2026
zkincaid / sv-opam
Repository for OPAM packages related to software verification
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.
#21717944GitHub System ID
zkincaidOrganization / User
PublicVisibility
ActiveCatalog Status
More from zkincaid
zkincaid/ocaml-mathsat
OCaml bindings for MathSAT 5
zkincaid/ocaml-buddy
binding for the BDD buddy library
zkincaid/deriving
Extension to OCaml for deriving functions from type declarations.