Rankings
Badges
/
JoeyEremondi
Rankings
Badges
Overview
Ranks
Repositories
Languages
Joey Eremondi
@JoeyEremondi
Refresh
Open GitHub
🇨🇦 Regina, Saskatchewan, Canada
University of Regina
Profile age: almost 13 years
Updated 11 days ago
110 followers • 6 following
Contacts
http://eremondi.com
@joey@types.pl
Organizations
Profile Overview
Global
Canada
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Rank in Canada
Master 1
Persona
Influencer
#3,040
#11,146
#2,185
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
haskelm
Archived
49
2
updated almost 8 years ago • age almost 11 years
Haskell
100.0%
pl-lt-rules
Archived
19
1
updated 7 months ago • age over 3 years
aoc-2020-idris
17
1
updated almost 5 years ago • age almost 5 years
Idris
100.0%
haskelm-old
Archived
16
0
updated almost 11 years ago • age over 11 years
Haskell
98.6%
Elm
1.4%
lambda-pi-constraint
Archived
16
0
1
updated 7 months ago • age almost 10 years
Haskell
99.2%
Agda
0.4%
Idris
0.4%
View all 21 repositories
Last Contributions
2025
plfa.github.io
1 PR
+2
-0
Agda
1,454
336
3
2021
Idris2
1 PR
+70
-34
Idris
2,744
394
5
spl
1 PR
+17
-0
HTML
3
25
2020
Idris2
1 PR
+155
-13
Idris
2,744
394
5
abstract-binding-trees
1 PR
+25
-4
Agda
78
5
1
View all contributions
Latest Updates
19 Sep 2025
Followers Count:
109
110
04 Sep 2025
Followers Count:
106
109
07 Aug 2025
Followers Count:
103
106
24 Jul 2025
Followers Count:
102
103
13 May 2025
Followers Count:
101
102
04 Jan 2025
First seen
Subscribe to JoeyEremondi's GitHub rank updates in your messenger
WhatsApp
Telegram
