Popular repositories Loading

1. opam-coq-archive opam-coq-archivePublic

   Forked from rocq-prover/opam

   Archive for all Coq related OPAM packages organized in various repositories

   JavaScript 1

2. opam-repository opam-repositoryPublic

   Forked from ocaml/opam-repository

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

   Shell 1

3. CompCert CompCertPublic

   Forked from AbsInt/CompCert

   The CompCert formally-verified C compiler

   Coq

4. coq-utils coq-utilsPublic

   Forked from arthuraa/coq-utils

   Some basic libraries for Coq.

   Coq

5. deriving derivingPublic

   Forked from arthuraa/deriving

   Class instances for Coq inductive types with little boilerplate

   Coq

6. extructures extructuresPublic

   Forked from arthuraa/extructures

   Finite sets and maps for Coq with extensional equality

   Coq