Alternatives and similar repositories for abelian

Users that are interested in abelian are comparing it to the libraries listed below

• isovector / do-notation
  deprecated in favor of -XQualifiedDo
  ☆41Updated 4 years ago
• ekmett / contravariant
  Haskell 98 contravariant functors
  ☆73Updated 8 months ago
• sacundim / free-operational
  Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.
  ☆25Updated 8 years ago
• vincenthz / hs-memory
  haskell memory
  ☆48Updated last year
• sellout / dualizer
  Delete half (minus ε) of your Haskell code!
  ☆30Updated last month
• Gabriella439 / Haskell-Total-Library
  Exhaustive pattern matching using lenses, traversals, and prisms
  ☆32Updated 2 years ago
• ekmett / exceptions
  mtl friendly exceptions
  ☆51Updated last week
• iijlab / postgresql-pure
  a PostgreSQL client library implemented with pure Haskell
  ☆36Updated 4 years ago
• sellout / Iaia
  A recursion scheme library for Idris.
  ☆25Updated last month
• ekmett / either
  the EitherT monad transformer
  ☆55Updated last week
• ekmett / perhaps
  A monad, perhaps.
  ☆32Updated 5 years ago
• ekmett / profunctors
  Haskell 98 Profunctors
  ☆70Updated last week
• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 6 years ago
• parsonsmatt / rowdy
  A convenient DSL for describing web routes
  ☆42Updated 4 years ago
• chadaustin / buffer-builder
  Haskell library for efficiently building up buffers
  ☆26Updated 5 months ago
• serokell / o-clock
  Type-safe time units in Haskell
  ☆49Updated 5 months ago
• mstksg / lens-typelevel
  Type-level lenses using singletons because why not
  ☆15Updated 6 years ago
• HuwCampbell / idris-lens
  van Laarhoven lenses for Idris
  ☆20Updated 7 years ago
• ekmett / distributive
  Dual Traversable
  ☆42Updated 2 years ago
• cocreature / lrucaching
  Haskell implementation of an LRU cache
  ☆24Updated last year
• singpolyma / unexceptionalio
  IO without any PseudoExceptions
  ☆28Updated 5 years ago
• sigma-andex / idris-refined
  Port of Scala/Haskell Refined library to Idris
  ☆17Updated 4 years ago
• konn / type-natural
  Type-level well-kinded natural numbers.
  ☆34Updated 5 months ago
• llvm-hs / llvm-hs-quote
  Quasiquoter for LLVM
  ☆31Updated 7 years ago
• system-f / papa
  Reasonable Haskell default import
  ☆27Updated 2 years ago
• danidiaz / streamy
  Using Backpack to abstract over the main Haskell streaming libraries.
  ☆34Updated 7 years ago
• composewell / compact-list
  An append only list in a compact region
  ☆25Updated 6 years ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• idris-hackers / idris-lens
  ☆23Updated 8 years ago
• camfort / reprinter
  Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring
  ☆27Updated 4 years ago