Xia Li-yao's repositories
generic-recursion-schemes
Folds for recursive types with GHC Generics
unparse-attoparsec
An attoparsec roundtrip
lens-monad
Monadic monadic lenses
compact-sequences
Stacks and queues with compact representations
containers
Assorted concrete container types
coq-printf
Implementation of sprintf for Coq
coq-www
Source files of the coq.inria.fr website (static part)
dependent-sum
Dependent sums and supporting typeclasses for comparing and displaying them
dependent-sum-aeson-orphans
JSON instances for DSum and DMap
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
haskell.zettel.page
Haskell knowledgebase, Zettelkasten style
inspection-testing
Inspection Testing for Haskell
jsaddle-dom
DOM library that uses jsaddle to support both GHCJS and WebKitGTK
kowainik.github
💊 Default health files
mtl
The Monad Transformer Library
neuron
Future-proof and simple-to-use notes system based on Zettelkasten.
plclub-web
A Hakyll [plclub] website.
QuickChick
Randomized Property-Based Testing Plugin for Coq
reflex-dom
Web applications without callbacks or side-effects. Reflex-DOM brings the power of functional reactive programming (FRP) to the web. Build HTML and other Document Object Model (DOM) data with a pure functional interface.
reflex-dom-pandoc
Render Pandoc documents in reflex-dom
splitmix
Pure Haskell implementation of SplitMix pseudo-random number generator
stack
The Haskell Tool Stack
unordered-containers
Efficient hashing-based container types