Rankings
Badges
/
denismerigoux
Rankings
Badges
Overview
Ranks
Repositories
Languages
Denis Merigoux
@denismerigoux
Refresh
Open GitHub
🇫🇷 Paris
Inria
Profile age: over 13 years
Updated 5 days ago
140 followers • 3 following
Contacts
denis.merigoux@gmail.com
https://merigoux.fr
@dmerigoux
Organizations
Repositories
GPU-tracking
66
19
updated over 8 years ago • age over 8 years
C++
98.2%
Cuda
1.3%
TeX
0.4%
Shell
0.0%
CMake
0.0%
rox-star
43
1
updated over 6 years ago • age over 6 years
F*
62.0%
Rust
35.7%
Makefile
2.2%
wasm2cretonne
18
2
updated about 8 years ago • age over 8 years
Rust
99.4%
WebAssembly
0.6%
soutenance
5
1
updated almost 4 years ago • age over 4 years
OCaml
98.0%
Makefile
2.0%
seum-counter
3
4
updated over 4 years ago • age over 9 years
Python
64.7%
HTML
35.3%
recettes
0
0
updated over 8 years ago • age over 8 years
TeX
100.0%
Contributions
2025
catala
2 PRs
+195
-90
OCaml
2,107
83
7
catala-examples
3 PRs
+12,380
-9,926
Java
7
4
codegouvfr-website
1 PR
+43
-14
Nunjucks
6
16
catala-book
2 PRs
+642
-65
JavaScript
0
0
2024
catala
~10 PRs
+201
-61
OCaml
2,107
83
7
mlang
1 PR
+158
-101
OCaml
196
13
166
catala-examples
3 PRs
+15,150
-85
Java
7
4
2023
catala
~29 PRs
+3,386
-870
OCaml
2,107
83
7
mlang
1 PR
+1,472,683
-10,923
OCaml
196
13
166
awesome-codegouvfr
1 PR
+26
-17
26
7
Show more
