Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
LablGTK 2 and 3: an interface to the GIMP Tool Kit
OCaml 73 41
A Certified Interpreter for ML with Structural Polymorphism
Coq 43 2
LablTk, an OCaml interface for Tcl/Tk
OCaml 26 9
LablGL: an openGL interface for OCaml
OCaml 18 2
An encoding of file handles ensuring linear use
OCaml 8 1
Mixin evaluators for the expression problem, based "Code reuse through polymorphic variants"
OCaml 6
Seeing something unexpected? Take a look at the GitHub profile guide.
garrigue
Follow
garrigue
Follow
