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 14 days ago
92 followers • 148 following
Contacts
https://l-tchen.github.io
@ltchen@mathstodon.xyz
Organizations
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%
FiniteSets
12
0
updated about 6 years ago • age over 6 years
Agda
100.0%
FLOLAC-semantics
9
2
updated about 11 years ago • age over 11 years
TeX
99.4%
Haskell
0.6%
FindUnion
6
0
updated almost 7 years ago • age almost 7 years
Haskell
100.0%
PCF-Nominal
5
2
updated over 11 years ago • age over 11 years
Agda
100.0%
provability
5
0
2
updated almost 4 years ago • age almost 5 years
Agda
58.0%
TeX
42.0%
Show more - 10 of 13 shown
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
geniplate
1 PR
+36
-17
Haskell
5
5
2022
hakyll
1 PR
+17
-1
Haskell
2,811
416
agda
3 PRs
+123
-48
Haskell
2,730
387
14
pygments
1 PR
+6
-6
Python
2,062
746
35
cubical
3 PRs
+50
-69
Agda
509
156
8
Show more
