smondet/awesome-coq
A curated list of awesome Coq frameworks, libraries and software.
Public GitHub Catalog
Discovered Oct 5, 2026
smondet / ocaml-getting-over-the-hump
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.
#30933955GitHub System ID
smondetOrganization / User
PublicVisibility
ActiveCatalog Status
More from smondet
smondet/ollvm
An higher-level LLVM binding for OCaml
smondet/ocaml-conduit
Resolve URIs into communication channels for Async or Lwt
smondet/omake-hacks
Library of OMake scripts to include in your projects (DEPRECATED)