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
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%
idris-sesh
27
1
updated almost 5 years ago • age almost 5 years
Idris
100.0%
priority-sesh
27
2
updated over 1 year ago • age about 5 years
Haskell
98.2%
Makefile
1.8%
msla2014
24
2
updated about 7 years ago • age almost 12 years
Agda
83.8%
Ruby
16.2%
talondoc
16
7
8
updated 19 days ago • age almost 4 years
Python
97.2%
Jinja
2.2%
Makefile
0.6%
starchild
Archived
16
2
updated over 2 years ago • age almost 6 years
F*
99.9%
Python
0.0%
Makefile
0.0%
Show more - 10 of 56 shown
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
grapesy
1 PR
+34
-4
Haskell
79
9
lsm-tree
~59 PRs
+1,494
-578
Haskell
49
9
ghc-events
1 PR
+1
-0
Haskell
37
36
ouroboros-leios
2 PRs
+401
-58
Jupyter Notebook
29
9
eventlog-live
2 PRs
+4
-7
Haskell
24
3
18
Show more
