Rankings
Badges
/
FordUniver
Rankings
Badges
Overview
Ranks
Repositories
Languages
@FordUniver
Refresh
Open GitHub
🇩🇪 Berlin
Zuse Institute Berlin
Profile age: over 5 years
Updated 11 days ago
8 followers • 3 following
Contacts
christophspiegel.berlin
Profile Overview
Global
Germany
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Beginner 4
Persona
Influencer
N/A
#2,077,194
#1,493,043
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
thebook.lean
3
1
updated 8 months ago • age about 1 year
Lean
100.0%
flagmatic
1
0
updated about 3 years ago • age over 4 years
Python
66.2%
Cython
31.1%
Sage
2.2%
Dockerfile
0.4%
multicolorramsey
0
0
updated 17 days ago • age 11 months
TeX
77.9%
Lean
20.8%
HTML
1.1%
Ruby
0.3%
Last Contributions
2024
FormalBook
1 PR
+240
-1
TeX
66
16
2020
StochasticFrankWolfe
1 PR
+415
-130
Python
10
7
1
View all contributions
Latest Updates
13 Sep 2025
Followers Count:
7
8
16 Jan 2025
First seen
Subscribe to FordUniver's GitHub rank updates in your messenger
WhatsApp
Telegram
