Alternatives and similar repositories for blog

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

• robrix / languages-all-the-way-down
  outline & examples for my ZuriHac 2020 talk, Languages All the Way Down
  ☆20Updated 4 years ago
• soupi / hablog
  A simple blogging platform with Haskell and Scotty
  ☆39Updated 3 years ago
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆24Updated 2 months ago
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated last month
• chiroptical / ctfp-book-club
  Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski
  ☆26Updated 2 years ago
• danieljharvey / tmux-mate
  Launch and manage your Tmux sessions from Dhall files.
  ☆17Updated 4 years ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 3 years ago
• yi-editor / yi-rope
  Rope data structure used by Yi
  ☆20Updated 7 years ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated 2 months ago
• deech / LeftPad
  ☆23Updated 7 years ago
• sharkdp / purescript-decimals
  Arbitrary precision numbers for PureScript
  ☆13Updated 2 years ago
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 5 years ago
• diagrams / monoid-extras
  Miscellaneous constructions on monoids
  ☆21Updated 3 weeks ago
• LightAndLight / meta-lambda
  Lambda Calculus with quote and unquote
  ☆19Updated 4 years ago
• vmchale / hs-ats
  Home of the fast-arithmetic library for number theory in ATS and Haskell.
  ☆25Updated 10 months ago
• nikivazou / EquationalReasoningInLiquidHaskell
  Derivation of Optimized Definitions Based on Specs
  ☆15Updated 5 years ago
• owickstrom / pandoc-emphasize-code
  A Pandoc filter for emphasizing code in fenced blocks
  ☆29Updated last year
• well-typed / full-text-search
  An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.
  ☆49Updated 4 months ago
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆29Updated 2 years ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆20Updated 7 years ago
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• jgm / doclayout
  A prettyprinting library designed for laying out plain text documents
  ☆23Updated 8 months ago
• zenzike / yoda
  A simple combinator library
  ☆29Updated 6 years ago
• yamadapc / haskell-drawille
  Port of asciimoo/drawille to haskell.
  ☆27Updated last year
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• bolt12 / zettel
  Zettelkasten file processor
  ☆12Updated 4 years ago
• ichistmeinname / free-proving
  Resources for "One Monad to Prove Them All"
  ☆29Updated 6 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 3 years ago
• mcneissue / purescript-snap
  An approach to user interfaces based in denotational design.
  ☆27Updated 2 years ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆39Updated 4 years ago