Jacques Garrigue (@garrigue)
github

garrigue

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    195
  • Global Rank 122,937 (Top 5 %)
  • Followers 67
  • Following 1
  • Registered about 13 years ago
  • Most used languages
    OCaml
         85.7 %
    Coq     14.3 %
  • Location ๐Ÿ‡ฏ๐Ÿ‡ต Japan
  • Country Total Rank 2,782
  • Country Ranking
    Coq     3
    OCaml
         7

Top repositories

1

lablgtk

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

certint

A Certified Interpreter for ML with Structural Polymorphism
Coq
43
star
3

labltk

LablTk, an OCaml interface for Tcl/Tk
OCaml
31
star
4

lablgl

LablGL: an openGL interface for OCaml
OCaml
20
star
5

safeio

An encoding of file handles ensuring linear use
OCaml
8
star
6

mixev

Mixin evaluators for the expression problem, based "Code reuse through polymorphic variants"
OCaml
6
star
7

schedule_parser

Tool to produce programme from researchr data.
OCaml
1
star