Rankings
Badges
/
girving
Rankings
Badges
Overview
Ranks
Repositories
Languages
Geoffrey Irving
@girving
Refresh
Open GitHub
🇬🇧 London
Profile age: over 16 years
Updated 2 days ago
410 followers • 3 following
Contacts
irving@naml.us
https://naml.us
@irving@mastodon.social
@geoffreyirving
Profile Overview
Global
United Kingdom
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Legend 1
Persona
Contributor
#168,238
#21,494
#22,408
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
pentago
52
2
updated 8 months ago • age almost 14 years
C++
59.5%
TeX
21.6%
Python
7.4%
Swift
5.9%
JavaScript
5.6%
ray
26
5
updated 6 days ago • age over 3 years
Lean
100.0%
interval
23
3
updated 15 days ago • age over 1 year
Lean
99.8%
Python
0.2%
poker
12
2
updated about 13 years ago • age almost 14 years
C++
63.5%
Python
20.0%
JavaScript
11.6%
C
4.9%
series
12
0
updated 4 days ago • age 2 months
Lean
100.0%
View all 12 repositories
Last Contributions
2024
lean4
2 PRs
+3
-1
Lean
6,712
691
94
vscode-lean4
1 PR
+5
-0
TypeScript
238
79
203
debate
2 PRs
+478
-334
Lean
112
18
leanprover-community.github.io
1 PR
+12
-12
CSS
66
162
2019
tensorflow
2 PRs
+36
-45
C++
192,427
74,990
219
View all contributions
Latest Updates
03 Oct 2025
Followers Count:
409
410
19 Sep 2025
Followers Count:
406
409
04 Sep 2025
Followers Count:
402
406
21 Aug 2025
Followers Count:
404
402
24 Jul 2025
Avatar:
changed
02 Jan 2025
First seen
Subscribe to girving's GitHub rank updates in your messenger
WhatsApp
Telegram
