Alternatives and similar repositories for blog:

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

• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆111Updated 5 years ago
• serras / hinc
  Haskell In New Clothes
  ☆111Updated 4 years ago
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 3 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• kach / tower-of-power
  What is hip? Tell me, tell me (if you think you know)
  ☆110Updated 6 years ago
• Gabriella439 / simple-twitter
  A bare-bones Twitter clone implemented in a single file
  ☆727Updated 3 years ago
• ianthehenry / basilica
  It's kinda like a forum.
  ☆115Updated 4 years ago
• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆302Updated last year
• pointless-lang / pointless
  Pointless: a scripting language for learning and fun
  ☆122Updated 4 years ago
• seagreen / plate
  Algebraic type based schema system
  ☆128Updated 5 years ago
• skaslev / why-types
  Why Types Matter
  ☆45Updated 7 years ago
• owickstrom / komposition
  The video editor built for screencasters
  ☆429Updated 3 years ago
• ollef / braces-be-gone
  Get those pesky braces out of your face
  ☆49Updated 7 years ago
• jiahao / backus-dijkstra-letters-1979
  Images and text transcripts of the correspondence between John Backus and Edsger Dijkstra, 1978-1979. Ref: https://medium.com/@acidflask/…
  ☆108Updated 8 years ago
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆77Updated 3 years ago
• mstksg / advent-of-code-2017
  Advent of Code 2017 (Warning: Spoilers)
  ☆49Updated 3 months ago
• A1kmm / proofsweeper
  Play Minesweeper by formally proving your moves in Idris
  ☆166Updated 4 months ago
• smallhadroncollider / ascii-runner
  An infinite runner in your terminal
  ☆104Updated 4 years ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆189Updated 2 years ago
• ericu / CellCulTuring
  Casual experiments with cellular automata
  ☆76Updated 6 years ago
• pkamenarsky / concur-static
  Generate semi-dynamic UIs with Concur
  ☆58Updated 4 years ago
• alpacaaa / quad-ci
  A CI server written in Simple Haskell.
  ☆189Updated 2 years ago
• vmchale / polyglot
  Tool to count lines of source code.
  ☆250Updated last year
• WesleyAC / plotty-bird
  Flappy Bird implemented on the HP7440A pen plotter
  ☆176Updated 5 years ago
• cpennington / h4sh
  Fork of Don Stewarts h4sh haskell shell scripts
  ☆68Updated 14 years ago
• sharkdp / parachuting-robots
  An interactive version of a classic puzzle
  ☆80Updated 7 years ago
• dfarr / minesweeper
  ☆64Updated 3 years ago
• RKlompUU / FPSheet
  FPSheet: A Spreadsheet program with Haskell as the scripting language
  ☆95Updated 3 years ago
• flannelhead / blackstar
  A black hole raytracer written in Haskell
  ☆171Updated 3 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago