Popular repositories Loading

1. remake remake Public

   Remake, a build system that bridges the gap between make and redo

   C++ 27 3

2. opam-coq-archive opam-coq-archive Public

   Forked from rocq-prover/opam

   Archive for all Coq related OPAM packages organized in various repositories

   OCaml 2

3. coq coq Public

   Forked from rocq-prover/rocq

   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 develo…

   OCaml 1

4. opam-repository opam-repository Public

   Forked from ocaml/opam-repository

   Main public package repository for OPAM, the source package manager of OCaml.

   Shell 1

5. interval interval Public

   Forked from boostorg/interval

   C++

6. CompCert CompCert Public

   Forked from AbsInt/CompCert

   The CompCert C verified compiler

   Coq