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 4 days ago
433 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
#50,618
#2,683
#20,677
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
ros_numpy
319
172
1
updated almost 2 years ago • age over 9 years
Python
82.3%
CMake
17.7%
lean-matrix-cookbook
119
17
updated 18 days ago • age almost 4 years
Lean
98.6%
Dockerfile
1.4%
numpy_ringbuffer
95
18
2
updated almost 2 years ago • age almost 9 years
Python
100.0%
nanopb-arduino
45
7
updated almost 6 years ago • age almost 9 years
C++
100.0%
computercraft-github
Archived
30
15
updated almost 2 years ago • age over 12 years
Lua
100.0%
View all 24 repositories
Last Contributions
2025
lean4
1 PR
+62
-62
Lean
6,491
672
91
analysis
2 PRs
+39
-35
Lean
1,196
153
cvc5
1 PR
+4
-4
SMT
1,187
266
29
formal-conjectures
~7 PRs
+30
-10
Lean
625
79
PhysLean
~6 PRs
+83
-116
Lean
358
42
View all contributions
Latest Updates
30 Sep 2025
Followers Count:
432
433
16 Sep 2025
Followers Count:
424
432
02 Sep 2025
Followers Count:
422
424
19 Aug 2025
Followers Count:
420
422
05 Aug 2025
Followers Count:
411
420
04 Jan 2025
First seen
Subscribe to eric-wieser's GitHub rank updates in your messenger
WhatsApp
Telegram
