Rankings
Badges
/
peterlefanulumsdaine
Rankings
Badges
Overview
Ranks
Repositories
Languages
Peter LeFanu Lumsdaine
@peterlefanulumsdaine
Refresh
Open GitHub
🇸🇪 Stockholm, Sweden
Stockholm University
Profile age: over 15 years
Updated 3 days ago
108 followers • 3 following
Contacts
p.l.lumsdaine@gmail.com
www.peterlefanulumsdaine.com
Language Ranks Breakdown
Global
Sweden
Coq
Elite 3
24 stars
to reach Elite 4
Position: 30
/
1.4K
Language Score: 70
Top 3% of all ranked profiles
This month change:
↑1
TeX
Expert 4
6 stars
to reach Expert 5
Position: 3,372
/
40.6K
Language Score: 24
Top 9% of all ranked profiles
This month change:
↓19
Agda
Advanced 2
5 stars
to reach Advanced 3
Position: 100
/
457
Language Score: 20
Top 30% of all ranked profiles
Verilog
Advanced 4
5 stars
to reach Advanced 5
Position: 1,385
/
8.2K
Language Score: 15
Top 20% of all ranked profiles
This month change:
↓13
Makefile
Advanced 3
2 stars
to reach Advanced 4
Position: 25,008
/
143.6K
Language Score: 3
Top 20% of all ranked profiles
This month change:
↓152
HTML
Adept 4
2 stars
to reach Adept 5
Position: 207,246
/
612K
Language Score: 2
Top 40% of all ranked profiles
This month change:
↓1,214
Shell
Adept 1
2 stars
to reach Adept 2
Position: 161,807
/
335.8K
Language Score: 1
Top 50% of all ranked profiles
This month change:
↓1,125
