Popular repositories Loading

1. opam-repository opam-repository Public

   Forked from ocaml/opam-repository

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

   Shell 1 1

2. CoqEAL CoqEAL Public

   Forked from coq-community/coqeal

   CoqEAL -- The Coq Effective Algebra Library

   Coq

3. alt-ergo alt-ergo Public

   Forked from OCamlPro/alt-ergo

   OCamlPro public development repository for Alt-Ergo

   OCaml 1

4. opam-coq-archive opam-coq-archive Public

   Forked from coq/opam

   Archive for all Coq related OPAM packages organized in various repositories

   OCaml

5. ltac2 ltac2 Public

   Forked from coq/ltac2

   A standalone implementation of Ltac2 as a Coq plugin

   OCaml

6. QuickChick QuickChick Public

   Forked from QuickChick/QuickChick

   Randomized Property-Based Testing Plugin for Coq

   Coq