Rankings
Badges
/
andorp
Rankings
Badges
Overview
Ranks
Repositories
Languages
Andor Penzes
@andorp
Refresh
Open GitHub
🇬🇧 London, United Kingdom
https://www.redbubble.com/shop/ap/92458473
Profile age: almost 13 years
Updated about 2 hours ago
108 followers • 43 following
Contacts
patreon.com/AndOrP
@sverien
Organizations
Profile Overview
Global
United Kingdom
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Master 2
Persona
Influencer
#118,819
#548,464
#113,401
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
order-taking
142
11
updated about 4 years ago • age over 4 years
Idris
92.4%
JavaScript
3.3%
Svelte
3.0%
Makefile
0.8%
CSS
0.5%
mini-grin
39
2
updated over 4 years ago • age over 6 years
Haskell
100.0%
IdrisExtSTGCodegen
26
3
updated almost 3 years ago • age about 5 years
Idris
87.7%
Haskell
11.7%
Makefile
0.6%
TaPL
16
2
updated over 3 years ago • age about 4 years
Idris
100.0%
DepPy
11
0
updated 8 months ago • age almost 2 years
Python
67.7%
Agda
32.3%
View all 10 repositories
Last Contributions
2023
idris2-lsp
2 PRs
+886
-58
Idris
182
40
idris2-lsp-vscode
1 PR
+53
-1
TypeScript
31
13
2022
Idris2
1 PR
+17
-1
Idris
2,766
395
6
2021
awesome-ddd
1 PR
+4
-0
11,944
1,379
Idris2
3 PRs
+777
-0
Idris
2,766
395
6
View all contributions
Latest Updates
16 Nov 2025
Followers Count:
106
108
02 Nov 2025
Followers Count:
107
106
06 Sep 2025
Followers Count:
106
107
23 Aug 2025
Followers Count:
105
106
05 Jan 2025
First seen
Subscribe to andorp's GitHub rank updates in your messenger
WhatsApp
Telegram
