GitPlanet
Projects
Users
Categories
Languages
About
All Git Users
→ garrigue
3 open source projects by garrigue
[ Open user page on Github ]
1.
Lablgtk
LablGTK 2 and 3: an interface to the GIMP Tool Kit
✭ 54
ocaml
2.
Certint
A Certified Interpreter for ML with Structural Polymorphism
✭ 39
coq
3.
labltk
LablTk, an OCaml interface for Tcl/Tk
✭ 26
ocaml
c
Makefile
shell
tcl
Standard ML
1-3
of
3
user projects