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
  ☆113Updated 5 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• serras / hinc
  Haskell In New Clothes
  ☆110Updated 5 years ago
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 4 years ago
• ianthehenry / basilica
  It's kinda like a forum.
  ☆114Updated 4 years ago
• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆303Updated 2 years ago
• WesleyAC / plotty-bird
  Flappy Bird implemented on the HP7440A pen plotter
  ☆176Updated 6 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• pointless-lang / pointless
  Pointless: a scripting language for learning and fun
  ☆122Updated 4 years ago
• pkamenarsky / concur-static
  Generate semi-dynamic UIs with Concur
  ☆58Updated 4 years ago
• Gabriella439 / simple-twitter
  A bare-bones Twitter clone implemented in a single file
  ☆728Updated 4 months ago
• ucsd-progsys / elsa
  Elsa is a lambda calculus evaluator
  ☆187Updated 5 months ago
• vmchale / polyglot
  Tool to count lines of source code.
  ☆252Updated last year
• KeliLanguage / compiler
  The compiler for Keli
  ☆174Updated 6 years ago
• flannelhead / blackstar
  A black hole raytracer written in Haskell
  ☆178Updated 3 years ago
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆90Updated 3 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆77Updated 5 years ago
• owickstrom / komposition
  The video editor built for screencasters
  ☆431Updated 4 years ago
• A1kmm / proofsweeper
  Play Minesweeper by formally proving your moves in Idris
  ☆167Updated 11 months ago
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆281Updated 11 years ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆193Updated 2 years ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆70Updated 9 months ago
• alpacaaa / quad-ci
  A CI server written in Simple Haskell.
  ☆191Updated 3 years ago
• ghuntley / workshops
  ☆52Updated last week
• seagreen / plate
  Algebraic type based schema system
  ☆128Updated 5 years ago
• channable / alfred-margaret
  Fast Aho-Corasick string searching
  ☆187Updated 6 months ago
• timvieira / justified-variables
  Words of the same length with related meanings.
  ☆344Updated 5 months ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆212Updated 8 months ago
• cdosborn / lit
  A modern tool for literate programming
  ☆276Updated 8 years ago
• noether-lang / noether
  Noether programming language
  ☆127Updated 8 years ago