Rankings
Badges
/
edwinb
Rankings
Badges
Overview
Ranks
Repositories
Languages
Edwin Brady
@edwinb
Refresh
Open GitHub
null
Profile age: over 15 years
Updated 4 days ago
923 followers • 3 following
Contacts
https://type-driven.org.uk/edwinb
Profile Overview
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Legend 2
Persona
Influencer
#14,360
#833,101
#8,334
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
Idris2-boot
900
56
updated over 5 years ago • age over 6 years
Idris
97.4%
C
1.4%
Scheme
0.6%
Makefile
0.4%
Racket
0.3%
Blodwen
541
34
updated over 6 years ago • age over 8 years
Idris
98.9%
Scheme
0.7%
Racket
0.3%
Makefile
0.1%
idris-php
175
14
updated over 8 years ago • age over 10 years
Haskell
100.0%
TypeDD-Samples
164
43
updated over 8 years ago • age over 8 years
Idris
100.0%
SPLV20
114
35
updated almost 3 years ago • age over 5 years
Idris
100.0%
View all 26 repositories
Last Contributions
2022
Idris2
4 PRs
+13,898
-12,178
Idris
2,766
395
6
2021
Idris2
~88 PRs
+414
-203
Idris
2,766
395
6
2020
Idris2
~90 PRs
+429
-309
Idris
2,766
395
6
2017
oplss-notes-2017
1 PR
+46
-0
Racket
39
10
2016
statement-on-lambdaconf.github.io
1 PR
+1
-0
HTML
22
189
View all contributions
Latest Updates
14 Nov 2025
Followers Count:
920
923
31 Oct 2025
Followers Count:
921
920
18 Sep 2025
Followers Count:
923
921
04 Sep 2025
Followers Count:
919
923
04 Jan 2025
First seen
Subscribe to edwinb's GitHub rank updates in your messenger
WhatsApp
Telegram
