MirageOS is a library operating system that constructs unikernels
Repository Index
47,133 repositories indexed
1–6 of 6 · Most stars
A composable build system for OCaml.
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
Select OCaml opam switches via a menu or using a command
Docker images of coq-mathcomp [maintainer=?]