Rankings
Badges
/
rgrig
Rankings
Badges
Overview
Ranks
Repositories
Languages
Radu Grigore
@rgrig
Refresh
Open GitHub
🇬🇧 Canterbury, UK
WhatsApp
Profile age: almost 16 years
Updated 3 days ago
37 followers • 10 following
Contacts
radugrigore@gmail.com
http://rgrig.appspot.com/
@rgrig
Repositories
plad
7
2
updated over 5 years ago • age about 8 years
Rust
25.8%
TeX
20.7%
Python
20.4%
Haskell
17.6%
Java
15.5%
topl
5
1
updated about 5 years ago • age over 14 years
OCaml
48.8%
Java
47.5%
Shell
2.7%
Makefile
0.7%
Dockerfile
0.4%
papers
4
2
updated almost 13 years ago • age over 15 years
Python
79.4%
Java
20.6%
systems-book
4
2
updated over 6 years ago • age almost 8 years
TeX
100.0%
barista
1
0
updated over 6 years ago • age almost 14 years
OCaml
96.3%
Haskell
3.2%
Makefile
0.5%
wmm-qbf
0
0
updated over 6 years ago • age over 8 years
OCaml
93.8%
JavaScript
2.4%
Python
2.1%
Standard ML
1.4%
Makefile
0.3%
Contributions
2020
elasticsearch
1 PR
+17
-13
Java
75,024
25,548
214
redisson
1 PR
+2
-0
Java
24,065
5,480
174
light-4j
1 PR
+3
-1
Java
3,672
635
193
2018
lambda-club
1 PR
+14
-2
HTML
8
6
2017
lambda-club
1 PR
+70
-0
HTML
8
6
2016
CSrankings
2 PRs
+45
-0
Python
2,964
3,768
breadcrumbs
1 PR
+1
-1
Haskell
2
1
2012
Camomile
1 PR
+6
-1
OCaml
125
26
4
