Alternatives and similar repositories for blog:

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

• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 4 years ago
• serras / hinc
  Haskell In New Clothes
  ☆111Updated 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
• ianthehenry / basilica
  It's kinda like a forum.
  ☆115Updated 4 years ago
• kach / tower-of-power
  What is hip? Tell me, tell me (if you think you know)
  ☆110Updated 6 years ago
• jtolio / sheepda
  A lambda calculus interpreter. GET IT?
  ☆81Updated 3 years ago
• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆302Updated 2 years ago
• joelburget / pigment
  Programming Language meets UI
  ☆51Updated 7 years ago
• tibastral / elm-snake
  ☆111Updated 5 years ago
• cdosborn / lit
  A modern tool for literate programming
  ☆274Updated 8 years ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆190Updated 2 years ago
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆78Updated 3 years ago
• ivanceras / spongedown
  Markdown with svg bob support
  ☆239Updated 4 years ago
• pointless-lang / pointless
  Pointless: a scripting language for learning and fun
  ☆122Updated 4 years ago
• KeliLanguage / compiler
  The compiler for Keli
  ☆173Updated 5 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• cyrus- / relit
  Hygienic typed literal macros (TLMs) for Reason
  ☆209Updated 6 years ago
• ericu / CellCulTuring
  Casual experiments with cellular automata
  ☆77Updated 6 years ago
• WesleyAC / plotty-bird
  Flappy Bird implemented on the HP7440A pen plotter
  ☆176Updated 5 years ago
• skaslev / why-types
  Why Types Matter
  ☆45Updated 8 years ago
• weeezes / plot
  Simple plotting tool for the terminal
  ☆86Updated last year
• owickstrom / komposition
  The video editor built for screencasters
  ☆432Updated 4 years ago
• alpacaaa / quad-ci
  A CI server written in Simple Haskell.
  ☆190Updated 3 years ago
• channable / alfred-margaret
  Fast Aho-Corasick string searching
  ☆187Updated 2 months ago
• crlf0710 / tectonic
  Experimental Oxidization of Tectonic the TeX/LaTeX engine.
  ☆284Updated 4 years ago
• jcoglan / kanrens
  Various implementations of microKanren
  ☆19Updated 8 years ago
• edwinb / idris-php
  Yes, really...
  ☆172Updated 7 years ago
• ChrisPenner / jet
  A structural editor for JSON values
  ☆77Updated 2 years ago
• PataphysicalSociety / soupault
  Static website generator based on HTML element tree rewriting
  ☆395Updated this week