dsheets/HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
Public GitHub Catalog
Discovered Sep 24, 2026
dsheets / ocaml-cohttp
OCaml HTTP library
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#397807GitHub System ID
dsheetsOrganization / User
PublicVisibility
ActiveCatalog Status
More from dsheets
dsheets/grammar-practice
A quick way to practice grammar transformations (LR(1) via menhir)
dsheets/jenga
Build system
dsheets/google-drive-profuse
Fork of [google-drive-ocamlfuse](https://github.com/astrada/google-drive-ocamlfuse) to use [profuse](https://github.com/dsheets/profuse) Consistent syntax is not GitHub's strong suit.