A reference library for constraint-solving with propagators and CDCL.
MIT License
Applicative option parser
An opinionated list of resources for learning Haskell
fcf-containers add tools that can be used with first-class-families
A higher-order effect system where the sky's the limit
oleg modules
outline & examples for my ZuriHac 2020 talk, Languages All the Way Down
An Experiment in Haskell Symbolic Algebra
A fast, flexible, fused effect system for Haskell
A streaming data library
A language experiment -- irc.freenode.net ##coda
Opinionated Haskell Interoperability
higher-order, no-boilerplate monads
Generate semi-dynamic UIs with Concur
Profunctor optics for the endofunctor category on Hask