Liang-Ting Chen
@L-TChenLanguage Breakdown
Lines of code distribution across 20 owned repositories
T-Shaped Developer
T-shapedDeep in Agda with broad versatility
Collaboration Network
Global Impact visualization
Repos
76
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Constantine Theocharis
@kontheocharis
Ryan Hsiang
@durant42040
Cheng-Syuan Wan
@cswphilo
Nathaniel Burke
@NathanielB123
Yee Jian TAN
@yeejian-tan
Top Repositories
Mtac in Agda
Lecture note on Lambda Calculus and Types for FLOLAC
Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically
A MacVim plugin for switching between dark and light modes automatically.
Fintie Sets in Cubical Agda
Type theories as quotient inductive-inductive-recursive types
Lecture notes on semantics for FLOLAC'14
An imperative implementation of disjoint-set data structure in Haskell
Open Source Impact
Contributions to external projects
