@hackage comonad dependents

@hackage/Cascade

Playing with reified categorical composition

@hackage/ComonadSheet

A library for expressing spreadsheet-like computations as the fixed-points of comonads.

@hackage/FilePather

Functions on System.FilePath

@hackage/GPX

Parse GPX files

@hackage/MonadCompose

Methods for composing monads.

@hackage/NestedFunctor

Nested composition of functors with a type index tracking nesting.

@hackage/Tape

Bidirectionally infinite streams, akin to the tape of a Turing machine.

@hackage/abides

Simple boolean tests to see if a value abides by certain properties

@hackage/acme-comonad

A more efficient dualization

@hackage/acme-everything

Install everything.

@hackage/ad

Automatic Differentiation

@hackage/adjunctions

Adjunctions and representable functors

@hackage/antisplice

An engine for text-based dungeons.

@hackage/apart

Get all your structure and rip it apart.

@hackage/approximate

Approximate discrete values and numbers

@hackage/ascii-art-to-unicode

ASCII Art to Unicode Box Drawing converter

@hackage/barrier-monad

Implementation of barrier monad, can use custom front/back type

@hackage/bifunctors

Bifunctors

@hackage/boombox

Chronokinetic stream sources and incremental consumers

@hackage/bound

Making de Bruijn Succ Less

@hackage/bowtie

Tying knots in polynomial functors

@hackage/box

A profunctor effect system?

@hackage/brick-filetree

@hackage/camfort

CamFort - Cambridge Fortran infrastructure

@hackage/category-extras

A meta-package documenting various packages inspired by category theory

@hackage/category-printf

Highbrow approach to type-safe printf format specifications.

@hackage/chassis

Polykinded Prelude Kernel.

@hackage/codo-notation

A notation for comonads, analogous to the do-notation for monads.

@hackage/commodities

Library for working with commoditized amounts and price histories

@hackage/comonad-coactions

Coactions of comonads on functors