Rankings
Badges
/
vrahli
Rankings
Badges
Overview
Ranks
Repositories
Languages
Vincent Rahli
@vrahli
Refresh
Open GitHub
🇬🇧 Birmingham, UK
University of Birmingham
Profile age: over 12 years
Updated 13 days ago
33 followers • 3 following
Contacts
https://vrahli.github.io/
Organizations
Language Ranks Breakdown
Global
United Kingdom
Coq
Elite 3
18 stars
to reach Elite 4
Position: 29
/
1.4K
Language Score: 76
Top 3% of all ranked profiles
This month change:
↑1
C++
Adept 4
1 star
to reach Adept 5
Position: 82,742
/
272.6K
Language Score: 9
Top 40% of all ranked profiles
This month change:
↓528
Agda
Adept 1
1 star
to reach Adept 2
Position: 210
/
457
Language Score: 7
Top 50% of all ranked profiles
This month change:
↓1
Python
Beginner 5
2 stars
to reach Adept 1
Position: 389,230
/
704.2K
Language Score: 4
This month change:
↓3,710
OCaml
Beginner 4
2 stars
to reach Beginner 5
Position: 2,155
/
3.4K
Language Score: 2
This month change:
↓5
Makefile
Adept 5
1 star
to reach Advanced 1
Position: 40,981
/
143.6K
Language Score: 2
Top 30% of all ranked profiles
This month change:
↓219
Shell
Adept 3
2 stars
to reach Adept 4
Position: 132,320
/
335.8K
Language Score: 2
Top 40% of all ranked profiles
This month change:
↓967
OpenEdge ABL
Beginner 4
1 star
to reach Beginner 5
Position: 999
/
1.5K
Language Score: 1
Lean
Beginner 3
2 stars
to reach Beginner 4
Position: 501
/
631
Language Score: 1
This month change:
↓7
C
Beginner 3
1 star
to reach Beginner 4
Position: 169,215
/
238.2K
Language Score: 1
This month change:
↓959
