bobot/extunix
Fork of: Thin OCaml bindings to various low-level system APIs which are not covered by Unix module
Public GitHub Catalog
Discovered Sep 25, 2026
bobot / CVC4.old-svn
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
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.
#5167019GitHub System ID
bobotOrganization / User
PublicVisibility
ActiveCatalog Status
More from bobot
bobot/zarith
Old mirror of zarith svn repository https://forge.ocamlcore.org/projects/zarith/ (deprecated)
bobot/opam-bench-repo
Set of benchmarks for OCaml organized as an OPAM repository
bobot/soqool
Public repository.