Popular repositories Loading

1. lablgtk lablgtk Public

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

   OCaml 97 46

2. certint certint Public

   A Certified Interpreter for ML with Structural Polymorphism

   Coq 46 2

3. labltk labltk Public

   LablTk, an OCaml interface for Tcl/Tk

   OCaml 39 14

4. lablgl lablgl Public

   LablGL: an openGL interface for OCaml

   OCaml 26 6

5. safeio safeio Public

   An encoding of file handles ensuring linear use

   OCaml 10 1

6. mixev mixev Public

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

   OCaml 9