Chris00/irmin
Irmin is a distributed database that follows the same design principles as Git
Pure OCaml low-level git bindings
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Irmin is a distributed database that follows the same design principles as Git
A submodule collection of all the Mirage libraries
Public repository.
Tool to convert OASIS metadata to OPAM package descriptions