Discover @L-TChen Open Source projects

Liang-Ting Chen (@L-TChen)

L-TChen

Stars
159
Global Rank 147,151 (Top 6 %)
Followers 85
Following 142
Registered over 11 years ago
Most used languages

Agda 46.7 %

TeX
26.7 %

Vim Script
13.3 %

Dockerfile
6.7 %

Haskell
6.7 %
Location 🇹🇼 Taiwan
Country Total Rank 940
Country Ranking

Agda 2

TeX
7

Haskell
12

Vim Script
25

Dockerfile
126

MtacAR

Type-Theory

Lecture note on Lambda Calculus and Types for FLOLAC

BiSig

Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically

ModalTypeTheory

auto-dark-mode.vim

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

FiniteSets

Fintie Sets in Cubical Agda

FLOLAC-semantics

Lecture notes on semantics for FLOLAC'14

FindUnion

An imperative implementation of disjoint-set data structure in Haskell

provability

PCF-Nominal

A formalisation of PCF in Agda using naive nominal binding

STLC

Simply typed lambda calculus in Agda

docker-agda

proof-relevant-lp

L-TChen.github.io

vim-dark-mode-switcher

Just a vimscript which sets the Vim background to dark or light depending on system-wide setup