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 11 months ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆18Updated 2 months ago
• MondayMorningHaskell / AdventOfCode
  ☆15Updated 2 years ago
• tweag / kernmantle
  Braiding extensible effects together in a pipeline/workflow of tasks
  ☆61Updated 2 years ago
• lexi-lambda / talks
  ☆45Updated 2 years ago
• jaspervdj / blaze-markup
  Core modules for a blazing fast markup combinator library
  ☆22Updated 6 months ago
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆46Updated last year
• jdevuyst / dependable-data-structures
  Experiments in implementing functional data structures in Idris
  ☆15Updated 6 years ago
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated last month
• parsonsmatt / parsonsmatt.github.io
  My Github pages website
  ☆77Updated 10 months ago
• mstksg / inCode
  Source for personal blog.
  ☆78Updated 3 months ago
• sellout / yaya
  Yet another yet another recursion scheme library in Haskell.
  ☆89Updated 3 weeks ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆67Updated 2 weeks ago
• jsiek / B629-denotational
  Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University
  ☆74Updated 7 years ago
• serras / zurihac-workshop
  A bit of DSLs, a bit of I/O
  ☆15Updated 2 years ago
• JacquesCarette / TheoriesAndDataStructures
  Showing how some simple mathematical theories naturally give rise to some common data-structures
  ☆39Updated last year
• keithfancher / haskell-notes
  Learn me a Haskell, finally. (And you can too!)
  ☆48Updated last year
• gonzaw / extensible-records
  Extensible records for Idris
  ☆25Updated 4 years ago
• phoityne / haskell-dap
  Haskell implementation of DAP interface data.
  ☆26Updated 2 months ago
• symphony-org / frost
  Frost
  ☆19Updated 5 years ago
• jespercockx / ohrid19-agda
  Material for the Agda course at the EUTYPES Summer School '19 in Ohrid
  ☆23Updated 6 years ago
• NorfairKing / hastory
  DEPRECATED: Use bevel instead.
  ☆25Updated 5 years ago
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆52Updated 2 months ago
• srid / ema-template
  Template repo for Ema static site generator
  ☆26Updated last month
• serokell / blog-posts
  The place for submitting new articles to the Serokell blog.
  ☆16Updated last year
• lambda-rennes / space-invaders
  ☆10Updated 5 years ago
• haskellfoundation / tech-proposals
  The Haskell Foundation Tech Proposal Process
  ☆71Updated 2 months ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 4 years ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆55Updated 8 years ago
• robbinch / Papers
  A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics
  ☆25Updated 9 years ago