kit-ty-kate/coq-playground
Playing with Coq…
Public GitHub Catalog
Discovered Sep 30, 2026
kit-ty-kate / 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.
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.
#18991096GitHub System ID
kit-ty-kateOrganization / User
PublicVisibility
ActiveCatalog Status
More from kit-ty-kate
kit-ty-kate/thechosen
Create events, invite people, randomly pick participants.
kit-ty-kate/ollvm
An higher-level LLVM binding for OCaml
kit-ty-kate/topkg
The trivial OCaml package builder