liyang/cabal
Official upstream development repository for Cabal and cabal-install
Developer Profile
liyang
Discovered public repositories for liyang in the GitHub catalog.
liyang/google-mail-filters
Write GMail filters and output to importable XML
liyang/google-search
EDSL for Google and GMail search expressions
liyang/hasktags
Produces ctags "tags" and etags "TAGS" files for Haskell programs
liyang/linux-push-to-talk
Add push-to-talk functionality to Linux
liyang/xmonad-contrib-unofficial
An unofficial xmonad-contrib version.
liyang/homebrew
The missing package manager for OS X.
liyang/stm-proof
Correctness proof of a log-based semantics for software transactional memory with respect to a stop-the-world semantics, using Agda.
liyang/system-posix-redirect
A toy module that allows you to temporarily redirect a program's stdout.
liyang/vector-space
Vector & affine spaces, linear maps, and derivatives
liyang/lens
Lenses, Folds, and Traversals
liyang/containers
Public repository.
liyang/enumfun
Finitely represented total EnumMaps
liyang/lifted-base
IO operations from the base library lifted to any instance of MonadBase or MonadBaseControl