invariant alternatives and similar packages

Based on the "Control" category.
Alternatively, view invariant alternatives based on common mentions on social networks and blogs.

rio-orphans

9.9 3.7 invariant VS rio-orphans

A standard library for Haskell
fused-effects

9.8 7.0 invariant VS fused-effects

A fast, flexible, fused effect system for Haskell

Access the most powerful time series database as a service

Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.

Promo www.influxdata.com

machines

9.8 3.7 invariant VS machines

Networks of composable stream transducers
transient

9.8 0.0 invariant VS transient

A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, parallelism, event handling, transactions, multithreading, Web, and distributed computing with complete de-inversion of control (No callbacks, no blocking, pure state)
funflow

9.8 0.0 invariant VS funflow

Functional workflows
mtl

9.8 5.8 invariant VS mtl

The Monad Transformer Library
pipes

9.8 2.1 invariant VS pipes

Compositional pipelines
capability

9.7 3.5 invariant VS capability

Extensional capabilities and deriving combinators
apecs

9.7 0.0 invariant VS apecs

a fast, extensible, type driven Haskell ECS framework for games
recursion-schemes

9.7 0.0 invariant VS recursion-schemes

Generalized bananas, lenses and barbed wire
distributed-closure

9.6 0.0 invariant VS distributed-closure

Serializable closures for distributed programming.
record

9.6 0.0 invariant VS record

Anonymous records
free

9.6 4.2 invariant VS free

free monads
foldl

9.6 0.0 invariant VS foldl

Composable, streaming, and efficient left folds
freer-simple

9.6 0.0 invariant VS freer-simple

A friendly effect system for Haskell
classy-prelude

9.5 0.0 invariant VS classy-prelude

Type classes for mapping, folding, and traversing monomorphic containers
classy-prelude-yesod

9.5 0.0 invariant VS classy-prelude-yesod

Type classes for mapping, folding, and traversing monomorphic containers
auto

9.5 0.0 invariant VS auto

Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & automations. http://hackage.haskell.org/package/auto
extensible-effects

9.5 0.0 invariant VS extensible-effects

Extensible Effects: An Alternative to Monad Transformers
safe-exceptions

9.5 0.0 invariant VS safe-exceptions

Safe, consistent, and easy exception handling
unliftio

9.5 2.8 invariant VS unliftio

The MonadUnliftIO typeclass for unlifting monads to IO
selective

9.5 1.6 invariant VS selective

Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
ComonadSheet

9.4 0.0 invariant VS ComonadSheet

A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comonads.
hask

9.4 0.0 invariant VS hask

Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)
abstract-par

9.4 1.0 invariant VS abstract-par

Type classes generalizing the functionality of the 'monad-par' library.
these

9.4 1.0 invariant VS these

An either-or-both data type, with corresponding hybrid error/writer monad transformer.
retry

9.4 0.0 invariant VS retry

Retry combinators for monadic actions that may fail
parallel

9.3 2.0 invariant VS parallel

a library for parallel programming
frpnow

9.3 0.0 invariant VS frpnow

Principled practical FRP
transient-universe

9.3 0.0 invariant VS transient-universe

A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web browsers are first class nodes in the cloud
cloud-haskell

9.2 0.0 invariant VS cloud-haskell

This is an umbrella development repository for Cloud Haskell
deepseq

9.2 4.0 invariant VS deepseq

Deep evaluation of data structures
distributed-fork

9.2 0.0 invariant VS distributed-fork

A distributed data processing framework in Haskell.
distributed-process-platform

9.2 0.0 invariant VS distributed-process-platform

DEPRECATED (Cloud Haskell Platform) in favor of distributed-process-extras, distributed-process-async, distributed-process-client-server, distributed-process-registry, distributed-process-supervisor, distributed-process-task and distributed-process-execution
ifcxt

9.1 0.0 invariant VS ifcxt

constraint level if statements
tardis

9.1 0.0 invariant VS tardis

Bidirectional state monad transformer
monad-validate

9.1 0.0 invariant VS monad-validate

(NOTE: REPOSITORY MOVED TO NEW OWNER: https://github.com/lexi-lambda/monad-validate) A Haskell monad transformer library for data validation
either

9.1 0.0 invariant VS either

the EitherT monad transformer
monad-control

9.1 0.0 invariant VS monad-control

Lift control operations, like exception catching, through monad transformers
contravariant

9.1 1.6 invariant VS contravariant

Haskell 98 contravariant functors
errors

9.0 0.0 invariant VS errors

Type-safe error handling
monad-time

9.0 0.0 invariant VS monad-time

Type class for monads which carry the notion of the current time.
effect-monad

9.0 0.0 invariant VS effect-monad

Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.
freer-effects

9.0 0.0 invariant VS freer-effects

An implementation of "Freer Monads, More Extensible Effects".
ixmonad

9.0 0.0 invariant VS ixmonad

Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.
operational

9.0 0.0 invariant VS operational

Implement monads by specifying instructions and their desired operational semantics.
objective

8.9 2.9 invariant VS objective

Purely functional objects
motor

8.9 0.0 invariant VS motor

Type-safe effectful state machines in Haskell
exceptions

8.9 0.0 invariant VS exceptions

mtl friendly exceptions
mmorph

8.9 0.0 invariant VS mmorph

Monad morphisms