Killian Q. Zhuo

redis-leveldb. A redis-protocol compatible frontend to google's leveldb

sb-fastcgi. FastCGI low-level API and WSGI-Style API for SBCL

KDr2. 🤖 KDr2 on the Internet 🌎

cl-fastcgi. A Generic Version of SB-FastCGI, runs on mostly Common Lisp implementations.

kittle-buffer. Kittle Buffer, or KBF for short, is an extended Brainf**k implementation.

emacs.d. 🖌 Emacs Configuration📘

DS-III. 💫The Death Star III☄

PLFA-zh. 《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版