Pinned Repositories
enumfun
Finitely represented total EnumMaps
fast-math
Play fast and loose with IEEE-754 rewrite RULES
google-mail-filters
Write GMail filters and output to importable XML
google-search
EDSL for Google and GMail search expressions
lifted-base
IO operations from the base library lifted to any instance of MonadBase or MonadBaseControl
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
stm-proof
Correctness proof of a log-based semantics for software transactional memory with respect to a stop-the-world semantics, using Agda.
thesis
Compiling Concurrency Correctly—Verifying Software Transactional Memory
true-name
Template Haskell hack to violate another module's abstractions
liyang's Repositories
liyang/thyme
liyang/fast-math
Play fast and loose with IEEE-754 rewrite RULES
liyang/google-mail-filters
Write GMail filters and output to importable XML
liyang/vector-th-unbox
Deriver for unboxed vectors using Template Haskell
liyang/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
liyang/thesis
Compiling Concurrency Correctly—Verifying Software Transactional Memory
liyang/google-search
EDSL for Google and GMail search expressions
liyang/true-name
Template Haskell hack to violate another module's abstractions
liyang/atlc
Arbitrary Transmission Line Calculator
liyang/attoparsec
A fast Haskell library for parsing ByteStrings
liyang/brew
🍺 The missing package manager for macOS (or Linux)
liyang/clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
liyang/enummapset-th
TH-generated EnumSet/EnumMap wrappers around IntSet/IntMap.
liyang/fast-builder
Fast ByteString Builder
liyang/hackspace-foundation-sites
London Hackspace web site
liyang/homebrew-avr
Homebrew AVR Toolchain
liyang/homebrew-core
🍻 Default formulae for the missing package manager for macOS
liyang/irc-client
An IRC client library.
liyang/irc-conduit
Streaming IRC message library using conduits.
liyang/irc-slack-echo
An IRC bot that echoes activity to slack, and supports mapping IRC usernames to Slack usernames.
liyang/linuxbrew-core
🍻🐧 Core formulae for the Homebrew package manager on Linux
liyang/mmtl-tnt
MMTL Electromagnetic Simulator (continued)
liyang/neobundle.vim
Next generation Vim package manager
liyang/qmk_configurator
The QMK Configurator
liyang/Ricty
Ricty --- fonts for programming
liyang/statement-on-lambdaconf.github.io
liyang/system-posix-redirect
A toy module that allows you to temporarily redirect a program's stdout.
liyang/total-array
Type-safe arrays with no bounds checking
liyang/web-scrobbler
Scrobble music videos all around the web!
liyang/xmonad-contrib
Contributed modules for xmonad