Rankings
Badges
/
L-TChen
Rankings
Badges
Overview
Ranks
Repositories
Languages
Liang-Ting Chen
@L-TChen
Refresh
Open GitHub
🇹🇼 Taiwan
Institute of Information Science, Academia Sinica
Profile age: over 12 years
Updated 13 days ago
92 followers • 148 following
Contacts
https://l-tchen.github.io
@ltchen@mathstodon.xyz
Organizations
Profile Overview
Global
Taiwan
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 5
Persona
Influencer
#170,464
#400,257
#132,671
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
MtacAR
28
0
updated over 4 years ago • age over 6 years
Agda
100.0%
Type-Theory
27
4
1
updated over 1 year ago • age over 9 years
TeX
100.0%
ModalTypeTheory
21
3
updated about 4 years ago • age over 5 years
Agda
100.0%
BiSig
21
0
1
updated almost 2 years ago • age over 3 years
TeX
78.1%
Agda
17.8%
Haskell
3.7%
Perl
0.3%
Makefile
0.1%
auto-dark-mode.vim
19
5
updated about 5 years ago • age almost 6 years
Vim Script
100.0%
View all 13 repositories
Last Contributions
2025
agda
1 PR
+292
-261
Haskell
2,730
387
14
2024
agda
2 PRs
+218
-154
Haskell
2,730
387
14
2023
agda
5 PRs
+280
-120
Haskell
2,730
387
14
stackage
1 PR
+0
-1
Dockerfile
546
820
lhs2tex
1 PR
+6
-2
Haskell
103
28
View all contributions
Latest Updates
17 Oct 2025
Followers Count:
93
92
21 Aug 2025
Followers Count:
91
93
24 Jul 2025
Followers Count:
92
91
10 Jul 2025
Followers Count:
91
92
04 Jan 2025
First seen
Subscribe to L-TChen's GitHub rank updates in your messenger
WhatsApp
Telegram
