Jacques Garrigue
Professor at Nagoya University
Kyoto, Japan
Summary
🤩
Rockstar🎓
Top SchoolJacques Garrigue is a professor of computer science based in Kyoto with 18 years of academic and research experience, currently on faculty at Nagoya University. He holds a PhD from the University of Tokyo and a unique Franco-Japanese educational background spanning ENS and Inalco, reflecting deep cross-cultural and theoretical training. His research and engineering work centers on programming languages and type systems, with substantial contributions to the OCaml core and the widely used opam package repository, where he maintained Lablgtk/Tk packages and fixed complex compatibility issues. Known for tackling subtle type-checking and GADT interactions, he brings a rare blend of formal rigor and practical maintenance skills that keep critical functional-language tooling healthy.
18 years of coding experience
23 years of employment as a software developer
Lycée Henri 4Mathematics and Computer Science, Mathematics and Computer Science at Ecole normale supérieureDEA (MSc), Computer Science, DEA (MSc), Computer Science at Université Paris CitéUniversity of TokyoLicense, Japanese, License, Japanese at Institut national des langues et civilisations orientales (Inalco)
Github Skills (11)
type-system10
opam10
type-checking10
type-check10
package-management10
patch10
ocaml10
tcl9
functional-programming9
configuration-management9
coq8
Programming languages (7)
Github contributions (5)
ocaml/ocaml
Nov 2015 - Jan 2023
The core OCaml system: compilers, runtime system, base libraries
Role in this project:
Back-end Developer
Back-end DeveloperContributions:292 reviews, 401 commits, 251 PRs in 7 years 3 months
Contributions summary:Jacques's commits primarily focused on modifications within the OCaml core system. The changes involve addressing issues related to module aliasing, type checking, and polymorphic variants. The user has corrected problems involving the interaction of GADTs and type synonyms. These modifications indicate a focus on improving the type system and ensuring the correctness of OCaml code.
functional-languagecompilersruntime-systemapllwt
ocaml/opam-repository
Sep 2014 - Nov 2022
Main public package repository for opam, the source package manager of OCaml.
Role in this project:Back-end Developer & Package Maintainer
Back-end Developer & Package MaintainerContributions:4 reviews, 113 commits, 50 PRs in 8 years 2 months
Contributions summary:Jacques primarily contributed to the opam-repository by updating and maintaining packages, particularly those related to the Lablgtk and Tk libraries. They fixed URLs, updated patches, and added new package versions. Their work involved modifications to configuration files and build scripts, and ensured compatibility with different OCaml versions and dependencies like Tcl/Tk.
package-managerpackage-repositoryocamlopam
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.