Popular repositories Loading

1. LablGTK 2 and 3: an interface to the GIMP Tool Kit

   OCaml 98 44

2. A Certified Interpreter for ML with Structural Polymorphism

   Coq 45 2

3. LablTk, an OCaml interface for Tcl/Tk

   OCaml 38 12

4. LablGL: an openGL interface for OCaml

   OCaml 25 6

5. An encoding of file handles ensuring linear use

   OCaml 10 1

6. Mixin evaluators for the expression problem, based "Code reuse through polymorphic variants"

   OCaml 9