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
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆113Updated 6 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆139Updated 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
  ☆123Updated last week
• Gabriella439 / simple-twitter
  A bare-bones Twitter clone implemented in a single file
  ☆732Updated 8 months ago
• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆304Updated 2 years ago
• ianthehenry / basilica
  It's kinda like a forum.
  ☆116Updated 4 years ago
• WesleyAC / plotty-bird
  Flappy Bird implemented on the HP7440A pen plotter
  ☆177Updated 6 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 10 years ago
• pkamenarsky / concur-static
  Generate semi-dynamic UIs with Concur
  ☆58Updated 4 years ago
• KeliLanguage / compiler
  The compiler for Keli
  ☆173Updated 6 years ago
• hazelgrove / tylr
  a tiny tile-based editor
  ☆315Updated 2 weeks ago
• smallhadroncollider / ascii-runner
  An infinite runner in your terminal
  ☆102Updated 5 years ago
• vmchale / polyglot
  Tool to count lines of source code.
  ☆253Updated last year
• ucsd-progsys / elsa
  Elsa is a lambda calculus evaluator
  ☆191Updated 2 months ago
• owickstrom / komposition
  The video editor built for screencasters
  ☆432Updated 4 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
• noether-lang / noether
  Noether programming language
  ☆129Updated 8 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆307Updated last month
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆77Updated 5 years ago
• athas / raytracers
  Performance comparison of parallel ray tracing in functional programming languages
  ☆307Updated 2 years ago
• JDemler / BidirectionalTypechecking
  Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
  ☆118Updated 6 years ago
• seagreen / plate
  Algebraic type based schema system
  ☆129Updated 5 years ago
• tibastral / elm-snake
  ☆112Updated 5 years ago
• RoganMurley / GALGAGAME
  GALGA: Multiplayer card game written in Haskell and Elm.
  ☆139Updated 2 months 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
• joelburget / pigment
  Programming Language meets UI
  ☆51Updated 8 years ago
• Gabriella439 / slides
  Slides from talks that I give
  ☆297Updated 2 years ago