Alternatives and similar repositories for haskellprojects

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

• idris-hackers / idris-lens
  ☆23Updated 8 years ago
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆14Updated 8 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 7 years ago
• ivan-m / haskell-docs
  Get the Haskell documentation of a name from a module
  ☆31Updated 6 years ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 10 years ago
• ekmett / charset
  fast utf-8 character sets
  ☆13Updated 3 months ago
• acfoltzer / Molog
  A typed logic programming language embedded in Haskell
  ☆49Updated 12 years ago
• Gabriella439 / haskell-in-the-large
  A book about large-scale design in Haskell
  ☆75Updated 10 years ago
• sdiehl / cooking-generics
  http://www.stephendiehl.com/posts/generics.html
  ☆12Updated 9 years ago
• cdparks / mini-core
  An implementation of the Core language
  ☆30Updated 9 years ago
• bmillwood / haskell-src-meta
  Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
  ☆27Updated 7 months ago
• AlexeyRaga / purescript-react-electron-example
  ☆51Updated 9 years ago
• ekmett / pointed
  pointed and copointed data
  ☆23Updated 3 months ago
• jwiegley / linearscan
  ☆17Updated 2 years ago
• UnkindPartition / freemonad-benchmark
  ☆24Updated 8 years ago
• lambdageek / freer-church
  Church-encoding of the Freer monad
  ☆28Updated 8 years ago
• andrewthad / serpentine
  Haskell routes using dependent types
  ☆10Updated 8 years ago
• mitchellwrosen / dohaskell
  Tagged Haskell learning resources index
  ☆21Updated 8 years ago
• mokus0 / monad-loops
  Some useful control operators for looping
  ☆47Updated 5 years ago
• fpco / schoolofhaskell.com
  ☆16Updated 5 years ago
• jfdm / idris-xml
  A simple XML module for Idris.
  ☆13Updated 5 years ago
• idris-hackers / idris-free
  Free Monads and useful constructions to work with them
  ☆26Updated 6 years ago
• jaspervdj / websockets-snap
  Snap integration for the websockets library
  ☆33Updated last year
• acowley / BostonHaskell2015
  [Talk] Framing the Discussion with EDSLs
  ☆9Updated 10 years ago
• david-christiansen / idris-quickcheck
  A port of QuickCheck to Idris
  ☆57Updated 7 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 5 years ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• pseudonom / phantheck
  Integrates QuickChecked properties into the type system with phantom types
  ☆34Updated 8 years ago
• paf31 / purescript-jquery
  Type declarations for jQuery
  ☆30Updated 5 years ago