Rankings
Badges
/
joneugster
Rankings
Badges
Overview
Ranks
Repositories
Languages
Jon Eugster
@joneugster
Refresh
Open GitHub
🇺🇸 Freiburg, DE
Profile age: about 11 years
Updated 13 days ago
26 followers • 2 following
Contacts
https://leanprover.zulipchat.com/#narrow/dm/385895-Jon-Eugster
Organizations
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Advanced 1
Persona
Contributor
N/A
#676,023
#547,180
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
InftyCat
1
1
updated over 1 year ago • age about 2 years
Lean
100.0%
mathlib4_docs
0
0
updated about 1 year ago • age about 1 year
PixelBayes
0
0
updated over 2 years ago • age about 5 years
Robo-Images
0
0
updated 9 months ago • age over 1 year
Last Contributions
2025
lean4
1 PR
+1
-2
Lean
6,572
677
92
lean4game
~29 PRs
+182
-119
TypeScript
330
61
NNG4
2 PRs
+4,126
-2,528
Lean
230
52
infinity-cosmos
2 PRs
+819
-820
TeX
82
19
11
leanprover-community.github.io
1 PR
+1
-0
CSS
64
159
View all contributions
Latest Updates
13 Oct 2025
Followers Count:
25
26
01 Aug 2025
Followers Count:
24
25
16 Jan 2025
First seen
Subscribe to joneugster's GitHub rank updates in your messenger
WhatsApp
Telegram
