Popular repositories Loading

1. lablGtkOSXApplication lablGtkOSXApplication Public

   This project aims to bind gtkOSXApplication on top of lablgtk.

   OCaml 2 1

2. opam-repository opam-repository Public

   Forked from ocaml/opam-repository

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

   Shell 1

3. coq coq Public

   Forked from rocq-prover/rocq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml

4. arduino arduino Public

   Forked from firmata/arduino

   firmata firmware for arduino

   Arduino

5. opam-cross-windows opam-cross-windows Public

   Forked from ocaml-cross/opam-cross-windows

   An OCaml cross-toolchain for Windows and several useful libraries

   Shell

6. ocaml ocaml Public

   Forked from ocaml/ocaml

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

   OCaml