Alternatives and similar repositories for smudge

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

• ekmett / discrimination
  Fast linear time sorting and discrimination for a large class of data types
  ☆137Updated 4 months ago
• advancedtelematic / quickcheck-state-machine
  Test monadic programs using state machine based models
  ☆204Updated 4 years ago
• ChrisPenner / eve
  An extensible event-driven application framework in haskell
  ☆110Updated 4 years ago
• cmcl / frankjnr
  Another implementation of Frank.
  ☆70Updated 8 years ago
• sdiehl / dive-into-ghc
  Dive into GHC
  ☆82Updated 8 years ago
• conal / lambda-ccc
  Convert lambda expressions to CCC combinators
  ☆150Updated 9 years ago
• cjdev2 / monad-mock
  A Haskell package that provides a monad transformer for mocking mtl-style typeclasses
  ☆70Updated 5 years ago
• composewell / streaming-benchmarks
  Benchmarks to compare Haskell streaming library performance
  ☆106Updated 3 weeks ago
• owickstrom / motor
  Type-safe effectful state machines in Haskell
  ☆96Updated 5 years ago
• discus-lang / ddc
  The Disco Discus Compiler
  ☆174Updated 6 years ago
• stepchowfun / effects
  A brief exploration of the various approaches to modeling side effects in a purely functional programming language.
  ☆97Updated 3 years ago
• idris-hackers / atom-language-idris
  A Idris Mode for Atom.io
  ☆102Updated last year
• ekmett / hask
  Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)
  ☆161Updated 4 years ago
• seagreen / plate
  Algebraic type based schema system
  ☆129Updated 5 years ago
• gasche / icfp2017-papers
  Link to preprints for ICFP'17 and colocated events
  ☆136Updated 7 years ago
• atzeus / FRPNow
  ☆89Updated 4 years ago
• jfdm / idris-containers
  Various data structures for use in the Idris Language.
  ☆95Updated 5 years ago
• barrucadu / dejafu
  Systematic concurrency testing meets Haskell.
  ☆197Updated last month
• jcmincke / Blast
  A Distributed Computing Library in Haskell
  ☆52Updated 8 years ago
• seanparsons / glue
  Building Better Services And Clients
  ☆41Updated 6 years ago
• ekmett / reflection
  Reifies arbitrary Haskell terms into types that can be reflected back into terms
  ☆103Updated 7 months ago
• jwiegley / coq-pipes
  ☆98Updated last week
• ndmitchell / uniplate
  Haskell library for simple, concise and fast generic operations.
  ☆82Updated last year
• nomeata / ghc-justdoit
  A magic typeclass that just does it
  ☆125Updated 3 years ago
• haskell-mafia / mafia
  Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks.
  ☆136Updated 5 years ago
• Gabriella439 / foldl
  Composable, streaming, and efficient left folds
  ☆168Updated 8 months ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 4 years ago
• rudymatela / fitspec
  refine properties for testing Haskell programs
  ☆75Updated 8 months ago
• A1kmm / proofsweeper
  Play Minesweeper by formally proving your moves in Idris
  ☆167Updated last year
• jdreaver / eventful
  Event Sourcing library for Haskell
  ☆108Updated 3 years ago