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/
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%
mixev
9
0
updated over 7 years ago • age over 7 years
OCaml
100.0%
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
monae
3 PRs
+26
-21
Rocq Prover
74
15
29
qecc
1 PR
+152
-136
Rocq Prover
6
0
infotheo
2 PRs
+35
-249
Coq
0
0
smc-coq
3 PRs
+130
-281
Coq
0
1
2
2023
ocaml
1 PR
+39
-17
OCaml
5,999
1,183
39
Show more
