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
Profile Overview
Global
Sweden
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Rank in Sweden
Master 1
Persona
Influencer
#1,570
#2,819
#769
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
general-type-theories
57
2
updated over 4 years ago • age almost 9 years
Coq
99.5%
Makefile
0.5%
palmgren-archive
21
2
1
updated 7 months ago • age about 5 years
Agda
93.9%
HTML
6.1%
cartmell-thesis
17
3
updated over 2 years ago • age about 11 years
TeX
100.0%
Oberwolfach-explorations
15
1
updated over 14 years ago • age over 14 years
Verilog
100.0%
hott-limits
11
1
updated almost 11 years ago • age over 12 years
Coq
99.3%
Makefile
0.7%
View all 7 repositories
Last Contributions
2025
UniMath
3 PRs
+780
-779
Rocq Prover
990
184
11
TypeTheory
1 PR
+1
-1
Coq
117
24
1
2024
designwithfontforge.com
1 PR
+1
-1
HTML
1,005
180
dedekind-reals
1 PR
+44
-4
Coq
44
6
2023
UniMath
1 PR
+4
-5
Rocq Prover
990
184
11
View all contributions
Latest Updates
18 Oct 2025
Followers Count:
107
108
22 Aug 2025
Followers Count:
106
107
04 Jan 2025
First seen
Subscribe to peterlefanulumsdaine's GitHub rank updates in your messenger
WhatsApp
Telegram
