Rankings
Badges
/
gallais
Rankings
Badges
Overview
Ranks
Repositories
Languages
G. Allais
@gallais
Refresh
Open GitHub
🇬🇧 Glasgow, Scotland
Profile age: about 14 years
Updated 3 days ago
337 followers • 114 following
Contacts
http://gallais.github.io
Organizations
Language Ranks Breakdown
Global
United Kingdom
Agda
Legend 3
135 stars
to reach Legend 4
Position: 3
/
457
Language Score: 433
Top 1% of all ranked profiles
Idris
Elite 1
20 stars
to reach Elite 2
Position: 11
/
289
Language Score: 151
Top 4% of all ranked profiles
TeX
Expert 3
2 stars
to reach Expert 4
Position: 3,525
/
40.9K
Language Score: 23
Top 9% of all ranked profiles
This month change:
↓24
Haskell
Advanced 1
4 stars
to reach Advanced 2
Position: 2,184
/
9.1K
Language Score: 17
Top 30% of all ranked profiles
This month change:
↓4
Makefile
Advanced 5
2 stars
to reach Expert 1
Position: 20,428
/
144.7K
Language Score: 4
Top 20% of all ranked profiles
This month change:
↓93
Emacs Lisp
Beginner 4
1 star
to reach Beginner 5
Position: 4,728
/
7.9K
Language Score: 3
This month change:
↓15
Shell
Adept 3
2 stars
to reach Adept 4
Position: 122,924
/
339.3K
Language Score: 2
Top 40% of all ranked profiles
This month change:
↓778
BibTeX Style
Adept 1
1 star
to reach Adept 2
Position: 218
/
483
Language Score: 1
Top 50% of all ranked profiles
This month change:
↓6
Lua
Beginner 3
2 stars
to reach Beginner 4
Position: 29,329
/
40.7K
Language Score: 1
This month change:
↓180
HTML
Adept 1
2 stars
to reach Adept 2
Position: 300,104
/
616.9K
Language Score: 1
Top 50% of all ranked profiles
This month change:
↓1,494
