Alternatives and similar repositories for haskell-src

Users that are interested in haskell-src are comparing it to the libraries listed below

• mokus0 / monad-loops
  Some useful control operators for looping
  ☆47Updated 5 years ago
• DanBurton / system-f
  System F implemented in Haskell
  ☆24Updated 13 years ago
• ekmett / contravariant
  Haskell 98 contravariant functors
  ☆73Updated 9 months ago
• sjoerdvisscher / free-functors
  Provides free functors that are adjoint to functors that forget class constraints.
  ☆29Updated 11 months ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 7 months ago
• bfops / open-union
  Type-safe open unions in Haskell
  ☆32Updated 7 years ago
• ekmett / either
  the EitherT monad transformer
  ☆55Updated last month
• Gabriella439 / Haskell-Total-Library
  Exhaustive pattern matching using lenses, traversals, and prisms
  ☆32Updated 2 years ago
• haskell-perf / graphs
  ☆40Updated 5 years ago
• vincenthz / hs-memory
  haskell memory
  ☆48Updated last year
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 7 years ago
• ucsd-progsys / lh-plugin-demo
  A small package that demonstrates how to use LiquidHaskell as a GHC plugin
  ☆24Updated 11 months ago
• Gabriella439 / Haskell-Errors-Library
  Type-safe error handling
  ☆64Updated last year
• scrive / log
  Structured logging solution.
  ☆37Updated last month
• ekmett / distributive
  Dual Traversable
  ☆42Updated 2 years ago
• ekmett / adjunctions
  Simple adjunctions
  ☆45Updated 4 months ago
• mstksg / functor-combinators
  Combine and enhance Functors
  ☆39Updated 2 months ago
• haskell / ghc-events
  Library and tool for parsing .eventlog files from GHC
  ☆36Updated 2 weeks ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆66Updated 6 months ago
• phadej / vec
  Nat, Fin, Vec
  ☆25Updated 3 months ago
• atzeus / CTRex
  Open records for Haskell
  ☆22Updated 7 years ago
• camfort / reprinter
  Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring
  ☆27Updated 4 years ago
• ekmett / profunctors
  Haskell 98 Profunctors
  ☆70Updated last month
• pigworker / Totality
  being the programs and code for a paper about general recursion
  ☆26Updated 10 years ago
• gelisam / typelevel-rewrite-rules
  rewrite rules for type-level equalities
  ☆62Updated last year
• haskell-github-trust / thyme
  A faster date and time library based on time
  ☆47Updated 6 months ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• UnkindPartition / freemonad-benchmark
  ☆24Updated 8 years ago
• ekmett / indexed
  Indexed Functors for GHC 7.6
  ☆22Updated 5 years ago
• ekmett / speculation
  Safe, programmable, speculative evaluation for Haskell
  ☆29Updated 6 years ago