ekmett

lens

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

ad

Automatic Differentiation

trifecta

Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink

guanxi

Relational programming in Haskell. Mostly developed on twitch.

propagators

The Art of the Propagator. See also:

coda

A language experiment -- irc.freenode.net ##coda

free

free monads

discrimination

Fast linear time sorting and discrimination for a large class of data types

bound

Combinators for manipulating locally-nameless generalized de Bruijn terms

reflection

Reifies arbitrary Haskell terms into types that can be reflected back into terms

comonad

Haskell 98 comonads

kan-extensions

Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor

constraints

Tools for programming with ConstraintKinds in GHC

profunctors

Haskell 98 Profunctors

ersatz

A monad for interfacing with external SAT solvers

bifunctors

Haskell 98 bifunctors, bifoldables and bitraversables

exceptions

mtl friendly exceptions

structs

Exploring how to make a strict imperative universe in the GHC runtime system.

adjunctions

Simple adjunctions

tagged

phantom types

rounded

MPFR bindings for Haskell

hyphenation

Knuth-Liang Hyphenation for Haskell based on TeX hyphenation files

placeholder

todo and unimplemented, robustly implemented

keys

keyed functors

pointed

pointed and copointed data

half

half-precision floating-point

monad-ran

Right Kan extension transformers covering the entire MTL, IO, ST s, and STM in Haskell in a generalization of continuation passing style

charset

fast utf-8 character sets

arcade

A physics playground

bitcoin-verifier-wasm