Xia Li-yao's repositories
twentyseven
Rubik's cube solver in Haskell
raz.haskell
Random Access Zippers: Haskell translation of raz.ocaml (https://github.com/cuplv/raz.ocaml)
decor-experiments
Experiments on generating random functional programs to test compilers and PL theory
weechat-relay
WeeChat Relay protocol in Haskell
breadcrumbs
Persistent bounded buffers
bytes-codec
Bidirectional serialization for binary and cereal
magnifique
Visualize tree structures. Focus on the bits that matter.
generic-show
Prototype of generic show with local instances
aeson-benchmarks-logs
Log files of the aeson performance dashboard
codec
Easy bidirectional serialization in Haskell
constraints
Tools for programming with ConstraintKinds in GHC
dissemin
Spot your own paywalled papers. Liberate them in one click.
free
free monads
grampa
Grammar parser - combinator library for parsing a general context-free grammar
HaRe
The Haskell Refactoring Tool
Haskell-Optparse-Generic-Library
Auto-generate a command-line parser for your datatype
lambda-club
Material from presentations at the University of Kent's LambdaClub meetings
lambdabot
A friendly IRC bot and apprentice coder, written in Haskell.
liquidhaskell
Liquid Types For Haskell
mangaki
Site de recommandation de mangas et d'anime
pelican
Polymorphism and canonical forms
repa
High performance, regular, shape polymorphic parallel arrays.
stp
Simple Theorem Prover, and efficient SMT solver for bitvectors
unamb
Unambiguous choice