Jacques Garrigue

icon indicating a website link http://www.math.nagoya-u.ac.jp/~garrigue/

icon company Nagoya University icon location Japan

Results 4 repositories owned by Jacques Garrigue

lablgtk

92
Stars
40
Forks
Watchers

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

verified publisher icon garrigue

certint

43
Stars
2
Forks
Watchers

A Certified Interpreter for ML with Structural Polymorphism

verified publisher icon garrigue

lablgl

23
Stars
5
Forks
Watchers

LablGL: an openGL interface for OCaml

verified publisher icon garrigue

labltk

34
Stars
13
Forks
Watchers

LablTk, an OCaml interface for Tcl/Tk

verified publisher icon garrigue