Rankings
Badges
/
garrigue
Rankings
Badges
Overview
Ranks
Repositories
Languages
Jacques Garrigue
@garrigue
Refresh
Open GitHub
🇯🇵 Japan
Nagoya University
Profile age: over 14 years
Updated 12 days ago
85 followers • 1 following
Contacts
http://www.math.nagoya-u.ac.jp/~garrigue/
Profile Overview
Global
Japan
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Rank in Japan
Expert 1
Persona
Influencer
#2,551
#8,399
#2,585
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
lablgtk
96
41
17
updated 9 months ago • age almost 10 years
OCaml
51.8%
C
45.9%
HTML
2.0%
Makefile
0.2%
XSLT
0.1%
certint
45
2
3
updated 7 months ago • age almost 6 years
Coq
79.7%
OCaml
20.2%
Shell
0.1%
labltk
35
13
10
updated 9 months ago • age over 10 years
OCaml
88.3%
C
7.1%
Makefile
4.1%
Shell
0.4%
Tcl
0.2%
lablgl
24
6
2
updated almost 2 years ago • age about 8 years
OCaml
49.2%
C
44.6%
HTML
3.3%
Tcl
1.9%
Makefile
1.0%
safeio
10
1
updated over 7 years ago • age over 7 years
OCaml
100.0%
View all 6 repositories
Last Contributions
2025
ocaml
2 PRs
+178
-24
OCaml
5,999
1,183
39
opam-repository
2 PRs
+133
-0
555
1,207
monae
1 PR
+29
-27
Rocq Prover
74
15
29
2024
ocaml
~11 PRs
+197
-78
OCaml
5,999
1,183
39
opam-repository
3 PRs
+292
-0
555
1,207
View all contributions
Latest Updates
18 Oct 2025
Followers Count:
84
85
04 Oct 2025
Followers Count:
85
84
06 Jan 2025
First seen
Subscribe to garrigue's GitHub rank updates in your messenger
WhatsApp
Telegram
