Alternatives and similar repositories for presentations:

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

• kowainik / slist
  ♾️ Sized list
  ☆46Updated 11 months ago
• purescript-contrib / purescript-matryoshka
  Generalized folds, unfolds, and traversals for fixed point data structures
  ☆59Updated 3 years ago
• fizruk / http-api-data
  Converting to/from HTTP API data like URL pieces, headers and query parameters.
  ☆53Updated last month
• isovector / type-errors
  tools for writing better type errors
  ☆73Updated last year
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 3 years ago
• takenobu-hs / lazy_evaluation
  haskell lazy evaluation illustrated
  ☆72Updated 8 years ago
• ekmett / zippers
  Zippers based on lenses and traversals
  ☆40Updated last year
• roman / Haskell-capataz
  OTP-like supervision trees in Haskell
  ☆62Updated 5 years ago
• mbg / hindley-milner
  Template for Hindley-Milner based languages
  ☆39Updated 3 years ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• brianhempel / live-ghci
  Evaluate special comments in your program on file save.
  ☆38Updated 4 years ago
• Gabriella439 / managed
  A monad for managed values
  ☆50Updated 2 years ago
• pcarbonn / H-Calc
  So, you want to write a DSL interpreter...
  ☆25Updated 6 years ago
• sbp / idris-bi
  Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
  ☆36Updated 4 years ago
• chrisdone-archive / purify
  Reproducible builds for PureScript
  ☆73Updated 6 years ago
• pkamenarsky / purescript-refract
  Optical Purescript UI library based on React and the Elm architecture, but without the boilerplate.
  ☆49Updated 6 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• cjdev2 / monad-mock
  A Haskell package that provides a monad transformer for mocking mtl-style typeclasses
  ☆71Updated 5 years ago
• nmattia / wai-lambda
  Haskell Webapps on AWS Lambda
  ☆43Updated 2 years ago
• chris-martin / haskell-aligned
  Haskell types lined up to highlight their similarities
  ☆31Updated 5 years ago
• fehrenbach / purescript-unordered-collections
  Fast, hash-based, immutable collections.
  ☆25Updated last year
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆163Updated 4 months ago
• unclechu / purescript-for-haskellers
  Some info that supposed to help to understand PureScript from Haskell perspective
  ☆32Updated 6 years ago
• ekmett / hkd
  higher-kinded data
  ☆30Updated last year
• bitemyapp / papers
  ☆35Updated 5 years ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆66Updated 2 months ago
• system-f / validation
  A data-type like Either but with an accumulating Applicative
  ☆100Updated last year
• ekmett / kan-extensions
  Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
  ☆79Updated 2 months ago