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 7 months ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆18Updated 5 years ago
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆44Updated last year
• tweag / kernmantle
  Braiding extensible effects together in a pipeline/workflow of tasks
  ☆60Updated 2 years ago
• lexi-lambda / talks
  ☆44Updated 2 years ago
• ners / dosh
  📺 The power of Haskell in your terminal!
  ☆44Updated 2 months ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆63Updated this week
• serras / zurihac-workshop
  A bit of DSLs, a bit of I/O
  ☆15Updated last year
• keithfancher / haskell-notes
  Learn me a Haskell, finally. (And you can too!)
  ☆48Updated 11 months ago
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆53Updated last month
• mstksg / inCode
  Source for personal blog.
  ☆77Updated 4 months ago
• sellout / yaya
  Yet another yet another recursion scheme library in Haskell.
  ☆89Updated 2 weeks ago
• NorfairKing / hastory
  DEPRECATED: Use bevel instead.
  ☆25Updated 4 years ago
• LaurentRDC / javelin
  Haskell implementation of data structures for data science
  ☆22Updated last month
• evinism / lambda-explorer
  Tutorial / REPL for the lambda calculus
  ☆66Updated 10 months ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆38Updated 2 months ago
• JeanHuguesdeRaigniac / effects-landscape
  Effects libraries in Haskell
  ☆71Updated 2 years ago
• andrevdm / bhoogle
  Hoogle terminal UI brick example app
  ☆101Updated 3 months ago
• phoityne / haskell-dap
  Haskell implementation of DAP interface data.
  ☆25Updated 3 months ago
• inanna-malick / mononoke
  Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …
  ☆3Updated 3 years ago
• haskellfoundation / tech-proposals
  The Haskell Foundation Tech Proposal Process
  ☆70Updated last year
• jdevuyst / dependable-data-structures
  Experiments in implementing functional data structures in Idris
  ☆15Updated 6 years ago
• freeman42x / haskell-streamers
  List of Haskell streamers on Twitch, YouTube, etc.
  ☆29Updated 4 years ago
• seagreen / hermetic
  Strategy game in Haskell (PRs: )
  ☆51Updated 5 years ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 4 years ago
• turion / rhine
  Haskell Functional Reactive Programming framework with type-level clocks
  ☆132Updated last week
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 8 months ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated 3 months ago
• jfdm / velo-lang
  Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
  ☆16Updated 2 years ago
• nmaehlmann / mallRL
  Grocery shopping roguelike developed for the 7drl game jam
  ☆24Updated 5 years ago