c-cube/coquille
Interactive theorem proving with Coq in vim.
Public GitHub Catalog
Discovered Oct 21, 2026
c-cube / ocaml.org
Implementation of the ocaml.org website.
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.
#41302706GitHub System ID
c-cubeOrganization / User
PublicVisibility
ActiveCatalog Status
More from c-cube
c-cube/lean
Lean Theorem Prover
c-cube/ty
[draft] dynamic representation of types
c-cube/ocaml-aig
[toy] And-Inverter Graph in OCaml