Rankings
Badges
/
banacorn
Rankings
Badges
Overview
Ranks
Repositories
Languages
Ting-gian LUA
@banacorn
Refresh
Open GitHub
🇹🇼 Taipei, Taiwan
Profile age: over 14 years
Updated 10 days ago
228 followers • 56 following
Contacts
banacorn@gmail.com
Organizations
Repositories
agda-mode-vscode
179
45
updated 5 days ago • age almost 6 years
ReScript
95.5%
CSS
2.0%
JavaScript
1.2%
Less
0.8%
Agda
0.5%
agda-mode
Archived
58
14
40
updated over 4 years ago • age about 11 years
Reason
84.1%
Agda
6.2%
Less
5.9%
Common Lisp
2.4%
C++
1.4%
socket.io-haskell
23
5
updated over 10 years ago • age about 12 years
Haskell
100.0%
Hakaru-FLOLAC16
16
2
updated over 9 years ago • age over 9 years
Haskell
99.5%
Python
0.5%
language-agda
Archived
13
5
updated about 5 years ago • age over 11 years
rescript-vscode
13
1
updated 4 months ago • age about 5 years
ReScript
100.0%
formal-language
11
0
updated over 7 years ago • age about 13 years
Haskell
74.9%
Agda
25.1%
edis
5
1
updated over 9 years ago • age over 10 years
Haskell
100.0%
numeral
1
0
updated almost 9 years ago • age almost 11 years
TeX
57.9%
Agda
42.1%
language-server-mule
1
1
updated 11 months ago • age over 4 years
ReScript
100.0%
Show more - 10 of 12 shown
Contributions
2025
rescript-nodejs
1 PR
+4
-9
ReScript
88
23
2024
agda-language-server
2 PRs
+504
-388
Haskell
115
19
26
2021
lsp
1 PR
+114
-78
Haskell
405
99
20
2020
lsp
2 PRs
+234
-30
Haskell
405
99
20
lsp-test
1 PR
+43
-10
Haskell
35
15
13
2019
agda
2 PRs
+1,222
-877
Haskell
2,730
387
14
2018
agda
2 PRs
+414
-131
Haskell
2,730
387
14
rebase
1 PR
+232
-249
JavaScript
50
6
2
2016
taiwan_love_wins
1 PR
+5
-0
Shell
98
394
2015
web
1 PR
+130
-141
HTML
0
0
Show more
