L-TChen

Institute of Information Science, Academia SinicaTaiwan

Pinned Repositories

auto-dark-mode.vim
A MacVim plugin for switching between dark and light modes automatically.
Language:Vim Script17 3 44
BiSig
Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically
Language:TeX21 4 20
FiniteSets
Fintie Sets in Cubical Agda
Language:Agda12 3 00
FLOLAC-semantics
Lecture notes on semantics for FLOLAC'14
Language:TeX8 6 02
ModalTypeTheory
Language:Agda20 4 03
MtacAR
Mtac in Agda
Language:Agda28 9 10
provability
Language:Agda5 4 00
Type-Theory
Lecture note on Lambda Calculus and Types for FLOLAC
Language:TeX26 3 03

L-TChen's Repositories

L-TChen/MtacAR
Mtac in Agda
Language:Agda28 9 10
L-TChen/Type-Theory
Lecture note on Lambda Calculus and Types for FLOLAC
Language:TeX26 3 03
L-TChen/BiSig
Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically
Language:TeX21 4 20
L-TChen/ModalTypeTheory
Language:Agda20 4 03
L-TChen/auto-dark-mode.vim
A MacVim plugin for switching between dark and light modes automatically.
Language:Vim Script17 3 44
L-TChen/FiniteSets
Fintie Sets in Cubical Agda
Language:Agda12 3 00
L-TChen/provability
Language:Agda5 4 00
L-TChen/STLC
Simply typed lambda calculus in Agda
Language:Agda3 3 0
L-TChen/docker-agda
Language:Dockerfile2 2 0
L-TChen/agda-mode-vscode
agda-mode on VS Code
Language:ReScript1 1 0
L-TChen/L-TChen.github.io
Language:TeX1 3 10
L-TChen/proof-relevant-lp
Language:Agda1 3 0
L-TChen/agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell2 0
L-TChen/agda-bench
Benchmarking tool for compile-time performance of Agda programs
Language:Haskell1 0
L-TChen/agda-lightweight-prelude
A Lightweight Prelude for Agda
Language:Agda2 0
L-TChen/agda-prelude
Programming library for Agda
Language:Agda2 0
L-TChen/agda-stdlib
The Agda standard library
Language:Agda3 0
L-TChen/cabal
Official upstream development repository for Cabal and cabal-install
Language:Haskell1 0
L-TChen/containers
Assorted concrete container types
Language:Haskell2 0
L-TChen/cubical
An experimental library for Cubical Agda
Language:Agda1 0
L-TChen/dynamic-array
L-TChen/fix-whitespace
Fixes whitespace issues
Language:Haskell2 0
L-TChen/lhs2tex
Preprocessor for typesetting Haskell sources with LaTeX
Language:Haskell
L-TChen/melpa
Recipes and build machinery for the biggest Emacs package repo
Language:Emacs Lisp1 0
L-TChen/plfa.github.io
Introduction to programming language theory in Agda
Language:HTML2 0
L-TChen/pygments
Pygments is a generic syntax highlighter written in Python
Language:Python1 0
L-TChen/setup-agda
Set up a specific version of Agda for your GitHub Actions workflow.
Language:TypeScript1 0
L-TChen/smalltt
Demo for high-performance type theory elaboration
Language:Lean
L-TChen/stackage
"Stable Hackage": vetted consistent packages from Hackage
Language:Dockerfile1 0
L-TChen/starter-workflows
Accelerating new GitHub Actions workflows
1 0