Rankings
Badges
/
EdAyers
Rankings
Badges
Overview
Ranks
Repositories
Languages
Ed Ayers
@EdAyers
Refresh
Open GitHub
🇬🇧 Cambridge, UK
Cogna Ltd
Profile age: over 12 years
Updated 3 days ago
89 followers • 70 following
Contacts
edayers.com
@ewayers
Organizations
Profile Overview
Global
United Kingdom
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 5
Persona
Influencer
#474,139
#440,195
#137,859
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
Robotone
12
3
updated about 5 years ago • age almost 9 years
Haskell
99.4%
Shell
0.6%
lean-humanproof
Archived
6
0
updated about 7 years ago • age about 7 years
Lean
100.0%
lean-subtask
5
1
updated over 6 years ago • age almost 7 years
Lean
100.0%
lean-humanproof-thesis
5
0
updated almost 4 years ago • age about 4 years
Lean
100.0%
Isaac3D
4
2
updated about 10 years ago • age over 10 years
C#
89.0%
Mathematica
8.9%
GLSL
2.1%
View all 9 repositories
Last Contributions
2023
bloop
2 PRs
+7
-2
Rust
9,486
591
48
math-lm
1 PR
+166
-1
Python
1,089
90
ProofWidgets4
1 PR
+18
-3
Lean
156
41
109
lean-premise-selection
2 PRs
+188,869
-1,244
Lean
22
5
UPWARD-for-Playdate
1 PR
+4
-4
Zig
19
3
View all contributions
Latest Updates
21 Oct 2025
Followers Count:
88
89
22 Sep 2025
Followers Count:
87
88
08 Sep 2025
Followers Count:
85
87
28 Jul 2025
Company:
Cogna Ltd
Followers Count:
87
85
14 Jul 2025
Followers Count:
86
87
06 Jan 2025
First seen
Subscribe to EdAyers's GitHub rank updates in your messenger
WhatsApp
Telegram
