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
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆113Updated 6 years ago
• serras / hinc
  Haskell In New Clothes
  ☆110Updated 5 years ago
• pointless-lang / pointless
  Pointless: a scripting language for learning and fun
  ☆123Updated this week
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆139Updated 6 years ago
• svanderbleek / haskellandchill.com
  writing on haskell
  ☆33Updated 8 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 10 years ago
• vmchale / madlang
  Madlang is a language for generative literature
  ☆51Updated 7 years ago
• vmchale / polyglot
  Tool to count lines of source code.
  ☆254Updated last year
• A1kmm / proofsweeper
  Play Minesweeper by formally proving your moves in Idris
  ☆169Updated last year
• ianthehenry / basilica
  It's kinda like a forum.
  ☆116Updated 4 years ago
• pkamenarsky / concur-static
  Generate semi-dynamic UIs with Concur
  ☆58Updated 5 years ago
• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆305Updated 2 years ago
• ucsd-progsys / elsa
  Elsa is a lambda calculus evaluator
  ☆191Updated 3 months ago
• joelburget / pigment
  Programming Language meets UI
  ☆51Updated 8 years ago
• noether-lang / noether
  Noether programming language
  ☆129Updated 8 years ago
• sentient-lang / sentient-lang
  The Sentient Programming Language.
  ☆82Updated 6 years ago
• edwinb / idris-php
  Yes, really...
  ☆175Updated 8 years ago
• jeanqasaur / dsl-syllabus-fall-2016
  The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.
  ☆216Updated 6 years ago
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆91Updated 3 years ago
• wyager / Example-Distributed-App
  An example distributed systems application in Haskell using Cloud Haskell
  ☆69Updated 5 years ago
• WesleyAC / plotty-bird
  Flappy Bird implemented on the HP7440A pen plotter
  ☆177Updated 6 years ago
• aceto / aceto
  A programming language based on a 2D Hilbert curve grid
  ☆88Updated 3 years ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆71Updated 3 months ago
• jorendorff / talks
  Some talks I've given
  ☆91Updated 2 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆77Updated 5 years ago
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆80Updated 3 years ago
• timvieira / justified-variables
  Words of the same length with related meanings.
  ☆348Updated 3 weeks ago
• jozefg / pcf
  A small compiler for PCF
  ☆127Updated 5 years ago
• ollef / braces-be-gone
  Get those pesky braces out of your face
  ☆49Updated 8 years ago