Popular repositories Loading

1. opam-coq-archive opam-coq-archive Public

   Forked from rocq-prover/opam

   Archive for all Coq related OPAM packages organized in various repositories

   JavaScript 1

2. opam-repository opam-repository Public

   Forked from ocaml/opam-repository

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

   1

3. test test Public

4. awesome-ocaml awesome-ocaml Public

   Forked from ocaml-community/awesome-ocaml

   A curated collection of awesome OCaml tools, frameworks, libraries and articles.

5. ott ott Public

   Forked from ott-lang/ott

   The Ott tool for writing definitions of programming languages and calculi

   OCaml

6. linocaml linocaml Public

   Forked from keigoi/linocaml

   Monad-based linear types in OCaml, with a few syntax extensions

   OCaml 1