Alternatives and similar repositories for presentations

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

• nomeata / haskell-via-sokoban
  A haskell tutorial using CodeWorld
  ☆19Updated last year
• tweag / kernmantle
  Braiding extensible effects together in a pipeline/workflow of tasks
  ☆62Updated 2 years ago
• serras / zurihac-workshop
  A bit of DSLs, a bit of I/O
  ☆15Updated 2 years ago
• symphony-org / frost
  Frost
  ☆19Updated 5 years ago
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆47Updated 2 years ago
• NorfairKing / hastory
  DEPRECATED: Use bevel instead.
  ☆25Updated 5 years ago
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆54Updated 3 months ago
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 2 months ago
• keithfancher / haskell-notes
  Learn me a Haskell, finally. (And you can too!)
  ☆48Updated last year
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆68Updated last month
• jdevuyst / dependable-data-structures
  Experiments in implementing functional data structures in Idris
  ☆15Updated 6 years ago
• minad / paripari
  Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
  ☆60Updated 5 years ago
• sellout / yaya
  Yet another … yet another recursion scheme library for Haskell
  ☆89Updated this week
• willtim / recursion-schemes
  My London HUG talk: Recursion Schemes by Example
  ☆50Updated 11 years ago
• emilypi / group-theory
  The theory of groups
  ☆81Updated 2 years ago
• jkachmar / easy-hls-nix
  Easy Haskell Language Server tooling with Nix!
  ☆55Updated 3 years ago
• qfpl / sv
  Comma (and other) separated values
  ☆78Updated 2 years ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆38Updated 2 years ago
• bravit / tt-ghc-exercises
  ☆28Updated 7 years ago
• haskell-perf / graphs
  ☆41Updated 5 years ago
• obsidiansystems / rhyolite
  ☆30Updated 3 months ago
• LaurentRDC / javelin
  Haskell implementation of data structures for data science
  ☆24Updated 3 weeks ago
• chiroptical / thinking-with-types
  Working through the Thinking with Types book in Haskell
  ☆34Updated 5 years ago
• pa-ba / AsyncRattus
  ☆14Updated 2 months ago
• parsonsmatt / parsonsmatt.github.io
  My Github pages website
  ☆77Updated last month
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆29Updated 4 years ago
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆41Updated 4 years ago
• lexi-lambda / talks
  ☆45Updated 2 years ago
• composewell / streamly-examples
  Examples for Streamly
  ☆30Updated 4 months ago
• freeman42x / haskell-streamers
  List of Haskell streamers on Twitch, YouTube, etc.
  ☆29Updated 5 years ago