Killian Q. Zhuo's repositories
redis-leveldb
A redis-protocol compatible frontend to google's leveldb
sb-fastcgi
FastCGI low-level API and WSGI-Style API for SBCL
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.
ghc
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
agda-stdlib
The Agda standard library
http-server
Serve static assets
plfa.github.io
An introduction to programming language theory in Agda
public-assets
Database of my public assets, don't star, don't fork.