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: over 12 years
Updated 11 days ago
107 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
#116,976
#539,423
#110,441
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
order-taking
142
11
updated almost 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 about 4 years ago • age over 6 years
Haskell
100.0%
IdrisExtSTGCodegen
26
3
updated almost 3 years ago • age almost 5 years
Idris
87.7%
Haskell
11.7%
Makefile
0.6%
TaPL
16
2
updated over 3 years ago • age almost 4 years
Idris
100.0%
DepPy
11
0
updated 6 months ago • age over 1 year
Python
67.7%
Agda
32.3%
View all 10 repositories
Last Contributions
2023
idris2-lsp
2 PRs
+886
-58
Idris
182
39
idris2-lsp-vscode
1 PR
+53
-1
TypeScript
31
13
2022
Idris2
1 PR
+17
-1
Idris
2,744
394
5
2021
awesome-ddd
1 PR
+4
-0
11,832
1,378
Idris2
3 PRs
+777
-0
Idris
2,744
394
5
View all contributions
Latest Updates
06 Sep 2025
Followers Count:
106
107
23 Aug 2025
Followers Count:
105
106
26 Jul 2025
Followers Count:
106
105
05 Jan 2025
First seen
Subscribe to andorp's GitHub rank updates in your messenger
WhatsApp
Telegram
