Pinned Repositories
certint
A Certified Interpreter for ML with Structural Polymorphism
lablgl
LablGL: an openGL interface for OCaml
lablgtk
LablGTK 2 and 3: an interface to the GIMP Tool Kit
labltk
LablTk, an OCaml interface for Tcl/Tk
mixev
Mixin evaluators for the expression problem, based "Code reuse through polymorphic variants"
ocaml
The core OCaml system: compilers, runtime system, base libraries
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
safeio
An encoding of file handles ensuring linear use
schedule_parser
Tool to produce programme from researchr data.
garrigue's Repositories
garrigue/lablgtk
LablGTK 2 and 3: an interface to the GIMP Tool Kit
garrigue/certint
A Certified Interpreter for ML with Structural Polymorphism
garrigue/labltk
LablTk, an OCaml interface for Tcl/Tk
garrigue/lablgl
LablGL: an openGL interface for OCaml
garrigue/safeio
An encoding of file handles ensuring linear use
garrigue/mixev
Mixin evaluators for the expression problem, based "Code reuse through polymorphic variants"
garrigue/ocaml
The core OCaml system: compilers, runtime system, base libraries
garrigue/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
garrigue/schedule_parser
Tool to produce programme from researchr data.
garrigue/camlp4
Camlp4 tool
garrigue/camlp5
Preprocessor / Pretty Printer for OCaml
garrigue/conf-data
Conference program metadata.
garrigue/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
garrigue/coq-playground
Experiments using Coq
garrigue/furl
Formatted url
garrigue/ocaml.org
Implementation of the ocaml.org website.
garrigue/ocaml.org-media
Media files that we don't want to include in main ocaml.org repo.
garrigue/program-generator
garrigue/seplog
Update for Coq 8.16
garrigue/smc-coq
garrigue/tpp2019
garrigue/tyre
Typed Regular Expressions