Pinned Loading

1. ocaml/ocaml ocaml/ocaml Public

   The core OCaml system: compilers, runtime system, base libraries

   OCaml 5.5k 1.1k

2. ocaml/opam-repository ocaml/opam-repository Public

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

   524 1.1k

3. OCamlPro/alt-ergo OCamlPro/alt-ergo Public

   OCamlPro public development repository for Alt-Ergo

   OCaml 132 33

4. psmt2-frontend psmt2-frontend Public

   A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language

   OCaml 9 6

5. tezos/tezos-mirror tezos/tezos-mirror Public

   Github test mirror of the Octez software. Please do not submit pull-requests here!

   OCaml 90 37