Liang-Ting Chen

icon indicating a website link https://l-tchen.github.io

icon company Institute of Information Science, Academia Sinica icon location Taiwan

Results 5 repositories owned by Liang-Ting Chen

ModalTypeTheory

20
Stars
3
Forks
Watchers

verified publisher icon L-TChen

MtacAR

28
Stars
0
Forks
Watchers

Mtac in Agda

verified publisher icon L-TChen

Type-Theory

26
Stars
3
Forks
Watchers

Lecture note on Lambda Calculus and Types for FLOLAC

verified publisher icon L-TChen

auto-dark-mode.vim

17
Stars
4
Forks
Watchers

A MacVim plugin for switching between dark and light modes automatically.

verified publisher icon L-TChen

BiSig

21
Stars
0
Forks
Watchers

Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically

verified publisher icon L-TChen