Rankings
Badges
/
wenkokke
Rankings
Badges
Overview
Ranks
Repositories
Languages
Wen Kokke
@wenkokke
Refresh
Open GitHub
🇬🇧 Scotland
Profile age: over 12 years
Updated 5 days ago
472 followers • 123 following
Contacts
https://wen.works/
@wen@types.pl
Profile Overview
Global
United Kingdom
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Legend 1
Persona
Influencer
#64,546
#351,163
#18,887
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
schmitty
103
8
2
updated 3 months ago • age about 5 years
Agda
99.5%
Shell
0.5%
sesh
46
2
updated over 4 years ago • age over 7 years
Makefile
47.4%
Rust
27.9%
Haskell
24.7%
AutoInAgda
Archived
44
7
1
updated about 5 years ago • age about 12 years
Agda
96.6%
Ruby
3.4%
featherweight-generic-go-generator
Archived
35
4
1
updated about 5 years ago • age about 6 years
Haskell
100.0%
setup-agda
28
4
9
updated about 1 month ago • age about 3 years
TypeScript
87.4%
JavaScript
7.5%
Agda
3.2%
Shell
1.9%
View all 56 repositories
Last Contributions
2025
plfa.github.io
~6 PRs
+20
-24
Agda
1,468
342
3
community
1 PR
+2
-0
Python
796
839
gtk2hs
1 PR
+9
-0
Haskell
187
88
vehicle
2 PRs
+174
-1,574
Haskell
116
13
27
hs-opentelemetry
1 PR
+260
-125
Haskell
91
50
View all contributions
Latest Updates
11 Nov 2025
Followers Count:
471
472
28 Oct 2025
Followers Count:
467
471
14 Oct 2025
Followers Count:
464
467
30 Sep 2025
Followers Count:
462
464
16 Sep 2025
Followers Count:
461
462
06 Jan 2025
First seen
Subscribe to wenkokke's GitHub rank updates in your messenger
WhatsApp
Telegram
