Popular repositories Loading

1. ocaml-buddy ocaml-buddy Public

   binding for the BDD buddy library

   OCaml 5 2

2. ocaml-picosat ocaml-picosat Public

   ocaml bindings for picosat

   OCaml 3

3. minisat-ocaml minisat-ocaml Public

   Forked from flerda/MiniSat-ocaml

   OCaML bindings for the MiniSat satisfiability solver.

   OCaml 2 2

4. pydot pydot Public

   Python 2

5. opam opam Public

   Forked from ocaml/opam

   OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

   OCaml 1

6. opam-repository opam-repository Public

   Forked from ocaml/opam-repository

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

   Shell 1