Xia Li-yao's repositories
first-class-families
First-class type families
generic-random
Generic random generators
generic-data
Generic data types in Haskell, utilities for GHC.Generics
coq-simple-io
IO for Gallina
bluefin-algae
Algebraic effects in the Bluefin effect system
roll-your-own-irc-bot
Roll your own IRC bot (2019 version) https://wiki.haskell.org/Roll_your_own_IRC_bot
coq-itree-io
Interpreter from itree to IO
base-orphans
Backwards-compatible orphan instances for base
bytestring
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
coq-ext-lib
A library of Coq definitions, theorems, and tactics.
error-message-index
A community-driven collection of documentation for Haskell error messages and warnings
notation-gallery
Examples showing best practices for using Coq notations and custom entries [maintainer=@bcpierce00]
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
tiny-games-hs
Rules for & examples of tiny haskell games