Alternatives and similar repositories for blog

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

• serras / hinc
  Haskell In New Clothes
  ☆110Updated 4 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆112Updated 5 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 4 years ago
• pointless-lang / pointless
  Pointless: a scripting language for learning and fun
  ☆122Updated 4 years ago
• ianthehenry / basilica
  It's kinda like a forum.
  ☆114Updated 4 years ago
• jtolio / sheepda
  A lambda calculus interpreter. GET IT?
  ☆81Updated 3 years ago
• A1kmm / proofsweeper
  Play Minesweeper by formally proving your moves in Idris
  ☆166Updated 8 months ago
• ghuntley / workshops
  ☆52Updated last year
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• kach / tower-of-power
  What is hip? Tell me, tell me (if you think you know)
  ☆110Updated 6 years ago
• svanderbleek / haskellandchill.com
  writing on haskell
  ☆33Updated 8 years ago
• WesleyAC / plotty-bird
  Flappy Bird implemented on the HP7440A pen plotter
  ☆176Updated 6 years ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆190Updated 2 years ago
• mstksg / advent-of-code-2017
  Advent of Code 2017 (Warning: Spoilers)
  ☆49Updated 6 months ago
• smallhadroncollider / ascii-runner
  An infinite runner in your terminal
  ☆104Updated 4 years ago
• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆302Updated 2 years ago
• SuperDisk / tar.pl
  tar creator+extractor in ~100 lines of prolog
  ☆262Updated 2 years ago
• abhin4v / precis
  A minimal note taking app build over Github Pages
  ☆78Updated 3 years ago
• pkamenarsky / concur-static
  Generate semi-dynamic UIs with Concur
  ☆58Updated 4 years ago
• ollef / braces-be-gone
  Get those pesky braces out of your face
  ☆49Updated 7 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 5 years ago
• joelparkerhenderson / crucial-conversations
  Crucial conversations: lessons from the worldwide bestseller book
  ☆102Updated last month
• killercup / english-lint
  Find common stylistic problems in english texts. Works well for technical or scientific documents.
  ☆33Updated 8 years ago
• maebert / prolog_puzzles
  Prolog puzzles for fun and profit (mostly fun)
  ☆77Updated 4 years ago
• sesh / base.html
  A minimal base.html file to get your project started
  ☆60Updated 3 years ago
• tibastral / elm-snake
  ☆111Updated 5 years ago
• dfarr / minesweeper
  ☆64Updated 4 years ago
• topshell-language / topshell
  TopShell - a purely functional, reactive scripting language
  ☆479Updated 3 years ago
• flannelhead / blackstar
  A black hole raytracer written in Haskell
  ☆176Updated 3 years ago