Alternatives and similar repositories for talks:

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

• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• ekmett / contravariant
  Haskell 98 contravariant functors
  ☆73Updated 5 months ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• david-christiansen / idris-quickcheck
  A port of QuickCheck to Idris
  ☆57Updated 7 years ago
• cjdev2 / monad-mock
  A Haskell package that provides a monad transformer for mocking mtl-style typeclasses
  ☆71Updated 5 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• ekmett / auth
  ☆40Updated 6 years ago
• takenobu-hs / lazy_evaluation
  haskell lazy evaluation illustrated
  ☆72Updated 7 years ago
• purescript-contrib / purescript-matryoshka
  Generalized folds, unfolds, and traversals for fixed point data structures
  ☆59Updated 2 years ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 3 years ago
• roman / Haskell-capataz
  OTP-like supervision trees in Haskell
  ☆62Updated 5 years ago
• tfausak / blunt
  Convert between pointfree and pointful Haskell expressions.
  ☆49Updated 8 years ago
• parsonsmatt / garlic-bread
  Leave delicious breadcrumbs to make your errors easier to understand.
  ☆37Updated 7 years ago
• IxpertaSolutions / freer-effects
  An implementation of "Freer Monads, More Extensible Effects".
  ☆65Updated 6 years ago
• kowainik / slist
  ♾️ Sized list
  ☆46Updated 10 months ago
• UnkindPartition / monad-classes
  A more flexible mtl
  ☆64Updated 7 years ago
• tfausak / thran
  Compile PureScript into Haskell.
  ☆69Updated 7 years ago
• fizruk / http-api-data
  Converting to/from HTTP API data like URL pieces, headers and query parameters.
  ☆52Updated 7 months ago
• brianhempel / live-ghci
  Evaluate special comments in your program on file save.
  ☆38Updated 4 years ago
• ctford / flying-spaghetti-monster
  An Idris type provider for communicating type-checkable protocols.
  ☆26Updated 7 years ago
• purescript / purescript-control
  Common control classes and utility functions
  ☆56Updated last year
• rampion / kinder-functor
  An alternate definition of Haskell's Functor typeclass
  ☆42Updated 5 years ago
• bitemyapp / papers
  ☆36Updated 5 years ago
• serokell / o-clock
  Type-safe time units in Haskell
  ☆49Updated last month
• llelf / icfp2019-papers
  ICFP 2019 preprints/papers
  ☆44Updated 5 years ago
• antonlogvinenko / javelin
  JVM implementation in Haskell
  ☆44Updated 6 months ago
• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 5 years ago
• kellino / microML
  a simple functional language for learners
  ☆30Updated 8 years ago
• HeinrichApfelmus / vault
  A typed, persistent store for values of arbitrary types
  ☆60Updated last week
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago