Popular repositories Loading

1. CompCert CompCert Public

   Forked from AbsInt/CompCert

   The CompCert formally-verified C compiler

   Coq

2. coq-utils coq-utils Public

   Forked from arthuraa/coq-utils

   Some basic libraries for Coq.

   Coq

3. deriving deriving Public

   Forked from arthuraa/deriving

   Class instances for Coq inductive types with little boilerplate

   Coq

4. extructures extructures Public

   Forked from arthuraa/extructures

   Finite sets and maps for Coq with extensional equality

   Coq

5. opam-coq-archive opam-coq-archive Public

   Forked from coq/opam

   Archive for all Coq related OPAM packages organized in various repositories

   JavaScript

6. opam-repository opam-repository Public

   Forked from ocaml/opam-repository

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

   Shell