Alternatives and similar repositories for blog

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

• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• pointless-lang / pointless
  Pointless: a scripting language for learning and fun
  ☆122Updated 4 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆112Updated 5 years ago
• KMahoney / squee
  A Typed, Composable Database Query Language
  ☆104Updated 4 years ago
• serras / hinc
  Haskell In New Clothes
  ☆110Updated 4 years ago
• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆302Updated 2 years ago
• ianthehenry / basilica
  It's kinda like a forum.
  ☆114Updated 4 years ago
• channable / alfred-margaret
  Fast Aho-Corasick string searching
  ☆187Updated 4 months ago
• seagreen / plate
  Algebraic type based schema system
  ☆128Updated 5 years ago
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆78Updated 3 years ago
• azdle / hello-gtk.rs
  A really basic example of using GTK and HTTP in rust.
  ☆24Updated 9 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• tibastral / elm-snake
  ☆111Updated 5 years ago
• jtolio / sheepda
  A lambda calculus interpreter. GET IT?
  ☆81Updated 3 years ago
• owickstrom / komposition
  The video editor built for screencasters
  ☆431Updated 4 years ago
• pkamenarsky / concur-static
  Generate semi-dynamic UIs with Concur
  ☆58Updated 4 years ago
• A1kmm / proofsweeper
  Play Minesweeper by formally proving your moves in Idris
  ☆166Updated 9 months ago
• kach / tower-of-power
  What is hip? Tell me, tell me (if you think you know)
  ☆110Updated 6 years ago
• ajtulloch / roogle
  Rust API search engine
  ☆54Updated 10 years ago
• Gabriella439 / slides
  Slides from talks that I give
  ☆295Updated 2 years ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆196Updated 3 weeks ago
• ucsd-progsys / elsa
  Elsa is a lambda calculus evaluator
  ☆187Updated 3 months ago
• KeliLanguage / compiler
  The compiler for Keli
  ☆173Updated 6 years ago
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆85Updated last year
• cdosborn / lit
  A modern tool for literate programming
  ☆275Updated 8 years ago
• andrewchambers / hermes
  Hermes software environment manager
  ☆316Updated 5 years ago
• jwiegley / una
  A universal interface to multiple unarchiving tools
  ☆71Updated last week
• edwinb / idris-php
  Yes, really...
  ☆172Updated 7 years ago
• typedefs / typedefs
  Programming language agnostic type construction language based on polynomials.
  ☆368Updated last year
• joelburget / pigment
  Programming Language meets UI
  ☆51Updated 7 years ago