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 5 years ago
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 4 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆113Updated 6 years ago
• pointless-lang / pointless
  Pointless: a scripting language for learning and fun
  ☆123Updated last week
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆139Updated 6 years ago
• ianthehenry / basilica
  It's kinda like a forum.
  ☆116Updated 4 years ago
• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆305Updated 2 years ago
• vmchale / polyglot
  Tool to count lines of source code.
  ☆254Updated last year
• ucsd-progsys / elsa
  Elsa is a lambda calculus evaluator
  ☆192Updated 3 months ago
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆91Updated 4 years ago
• pkamenarsky / concur-static
  Generate semi-dynamic UIs with Concur
  ☆58Updated 5 years ago
• owickstrom / komposition
  The video editor built for screencasters
  ☆431Updated 4 years ago
• smallhadroncollider / ascii-runner
  An infinite runner in your terminal
  ☆102Updated 5 years ago
• ollef / braces-be-gone
  Get those pesky braces out of your face
  ☆49Updated 8 years ago
• joelburget / pigment
  Programming Language meets UI
  ☆51Updated 8 years ago
• channable / alfred-margaret
  Fast Aho-Corasick string searching
  ☆193Updated 11 months ago
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 4 years ago
• skaslev / why-types
  Why Types Matter
  ☆45Updated 8 years ago
• RKlompUU / FPSheet
  FPSheet: A Spreadsheet program with Haskell as the scripting language
  ☆96Updated 4 years ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆71Updated 4 months ago
• rotoclone / strategic-communication
  A best-of-breed language with a holistic approach to moving the needle
  ☆313Updated 5 years ago
• KeliLanguage / compiler
  The compiler for Keli
  ☆173Updated 6 years ago
• A1kmm / proofsweeper
  Play Minesweeper by formally proving your moves in Idris
  ☆169Updated last year
• DataKinds / cherchord
  🎸 Find chords for any string instrument quicky & easily 🎸
  ☆153Updated 9 months ago
• mstksg / advent-of-code-2017
  Advent of Code 2017 (Warning: Spoilers)
  ☆50Updated last year
• svanderbleek / haskellandchill.com
  writing on haskell
  ☆33Updated 8 years ago
• seagreen / plate
  Algebraic type based schema system
  ☆129Updated 5 years ago
• WesleyAC / plotty-bird
  Flappy Bird implemented on the HP7440A pen plotter
  ☆177Updated 6 years ago
• aymannadeem / foldilocks
  Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns.
  ☆188Updated 6 years ago
• fmthoma / ascii-art-to-unicode
  Small program to convert ASCII box art to Unicode box drawings.
  ☆60Updated 8 years ago