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

2. psmt2-frontend psmt2-frontend Public

   Forked from ACoquereau/psmt2-frontend

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

   OCaml 1

3. opam-builder opam-builder Public

   Forked from OCamlPro/opam-builder

   OCaml

4. typerex-lint typerex-lint Public

   Forked from OCamlPro/typerex-lint

   Tools to manipulate source files (linting, patching, etc.)

   OCaml

5. liquidity liquidity Public

   Forked from OCamlPro/liquidity

   A high-level language for Tezos with OCaml syntax, with a decompiler from Michelson

   OCaml

6. stupid-precommit-hook stupid-precommit-hook Public

   A very simple pre-commit hook for OCaml code to detect trailing whitespaces, too long lines ...

   OCaml