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 10 months ago
• cjdev2 / monad-mock
  A Haskell package that provides a monad transformer for mocking mtl-style typeclasses
  ☆71Updated 5 years ago
• takenobu-hs / lazy_evaluation
  haskell lazy evaluation illustrated
  ☆72Updated 7 years ago
• brianhempel / live-ghci
  Evaluate special comments in your program on file save.
  ☆38Updated 4 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• ekmett / zippers
  Zippers based on lenses and traversals
  ☆38Updated last year
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 3 years ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• ndmitchell / spaceleak
  Notes on space leaks
  ☆101Updated 4 years ago
• nomeata / ghc-justdoit
  A magic typeclass that just does it
  ☆124Updated 2 years ago
• dorchard / effect-monad
  Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.
  ☆99Updated last year
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆56Updated 5 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• david-christiansen / idris-quickcheck
  A port of QuickCheck to Idris
  ☆57Updated 7 years ago
• jameshaydon / smproc
  A well-typed symmetric-monoidal category of concurrent processes
  ☆24Updated 6 years ago
• serokell / o-clock
  Type-safe time units in Haskell
  ☆49Updated last month
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆52Updated 7 years ago
• ocharles / effect-zoo
  Comparing Haskell effect systems for ergonomics and speed
  ☆65Updated 3 years ago
• CatTheoryByExample / book
  The category theory by example book
  ☆58Updated last year
• lehins / scheduler
  A work stealing scheduler
  ☆75Updated 2 months ago
• xgrommx / idris-ecosystem
  ☆49Updated 7 years ago
• bobatkey / CS316-19
  The 2019/2020 edition of Strathclyde's CS316 Functional Programming course
  ☆41Updated 4 years ago
• re-xyr / avail
  Low-overhead effect management for concrete monads
  ☆37Updated 2 years ago
• steshaw / tdd-with-idris
  Working through Type-Driven Development with Idris
  ☆24Updated 8 years ago
• system-f / validation
  A data-type like Either but with an accumulating Applicative
  ☆100Updated last year
• jaspervdj / talks
  Slides & demos for talks I do
  ☆59Updated 4 years ago
• nikivazou / theorem-proving-template
  Template repo for theorem proving in Liquid Haskell
  ☆32Updated 6 years ago
• ChrisPenner / astar-monad
  A smart A* search monad transformer which supports backtracking user-state!
  ☆81Updated 3 years ago
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆161Updated 2 months ago
• bitemyapp / papers
  ☆36Updated 5 years ago