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
Profile Overview
Global
Taiwan
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Elite 3
Persona
Influencer
#98,920
#914,935
#45,410
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
agda-mode-vscode
179
45
updated 4 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
View all 12 repositories
Last 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
View all contributions
Latest Updates
20 Oct 2025
Followers Count:
229
228
06 Oct 2025
Followers Count:
227
229
20 Sep 2025
Followers Count:
228
227
06 Sep 2025
Followers Count:
229
228
23 Aug 2025
Followers Count:
230
229
05 Jan 2025
First seen
Subscribe to banacorn's GitHub rank updates in your messenger
WhatsApp
Telegram
