Rankings
Badges
/
gergoerdi
Rankings
Badges
Overview
Ranks
Repositories
Languages
Gergő Érdi
@gergoerdi
Refresh
Open GitHub
null
Profile age: about 16 years
Updated about 7 hours ago
192 followers • 8 following
Contacts
gergo@erdi.hu
https://gergo.erdi.hu/
Organizations
Profile Overview
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Elite 2
Persona
Influencer
#56,039
#610,965
#56,002
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
metafun
59
3
updated over 9 years ago • age over 15 years
Haskell
100.0%
chirp8-avr
49
5
updated about 1 year ago • age over 8 years
Rust
100.0%
clash-spaceinvaders
48
3
updated almost 3 years ago • age over 6 years
Tcl
50.0%
Haskell
40.2%
Verilog
9.8%
tandoori
37
3
updated over 14 years ago • age about 16 years
Haskell
100.0%
alef
32
0
updated over 12 years ago • age almost 13 years
Common Lisp
100.0%
View all 43 repositories
Last Contributions
2024
clash-compiler
3 PRs
+66
-25
Haskell
1,555
164
61
liquidhaskell
~17 PRs
+247
-228
Haskell
1,267
149
15
ghc-proposals
1 PR
+434
-0
Python
704
274
MicroHs
2 PRs
+58
-35
Haskell
633
57
liquid-fixpoint
1 PR
+12
-10
Haskell
155
64
11
View all contributions
Latest Updates
02 Nov 2025
Followers Count:
193
192
21 Sep 2025
Followers Count:
190
193
09 Aug 2025
Followers Count:
191
190
02 Jan 2025
First seen
Subscribe to gergoerdi's GitHub rank updates in your messenger
WhatsApp
Telegram
