forked from ocaml/opam
OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
A service to analyse the state of the opam repository w.r.t. all available version of the OCaml compiler.
forked from coq/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
forked from facebook/hhvm
A virtual machine designed for executing programs written in Hack and PHP.
forked from facebook/flow