Rankings
Badges
/
eric-wieser
Rankings
Badges
Overview
Ranks
Repositories
Languages
Eric Wieser
@eric-wieser
Refresh
Open GitHub
🇬🇧 Greater London area
@google-deepmind
Profile age: about 15 years
Updated 7 days ago
445 followers • 41 following
Contacts
http://ericwieser.me
@EricWieser
Organizations
Profile Overview
Global
United Kingdom
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Legend 3
Persona
Contributor
#51,125
#2,757
#20,313
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
ros_numpy
319
175
1
updated almost 2 years ago • age over 9 years
Python
82.3%
CMake
17.7%
lean-matrix-cookbook
120
18
updated 2 months ago • age about 4 years
Lean
98.6%
Dockerfile
1.4%
numpy_ringbuffer
95
21
2
updated about 2 years ago • age about 9 years
Python
100.0%
nanopb-arduino
46
7
updated almost 6 years ago • age almost 9 years
C++
100.0%
computercraft-github
Archived
30
15
updated about 2 years ago • age almost 13 years
Lua
100.0%
View all 24 repositories
Last Contributions
2025
lean4
2 PRs
+18
-2
Lean
6,712
691
94
analysis
2 PRs
+39
-35
Lean
1,297
176
cvc5
1 PR
+4
-4
SMT
1,214
269
29
formal-conjectures
~7 PRs
+30
-10
Lean
665
102
PhysLean
~6 PRs
+83
-116
Lean
386
49
View all contributions
Latest Updates
12 Nov 2025
Followers Count:
438
445
29 Oct 2025
Followers Count:
436
438
14 Oct 2025
Followers Count:
433
436
30 Sep 2025
Followers Count:
432
433
16 Sep 2025
Followers Count:
424
432
04 Jan 2025
First seen
Subscribe to eric-wieser's GitHub rank updates in your messenger
WhatsApp
Telegram
