Alternatives and similar repositories for blog-code

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

• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 8 months ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆37Updated last year
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆54Updated 4 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆42Updated 7 months ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• gregfjohnson / aplette
  This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…
  ☆89Updated 2 years ago
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆118Updated 2 years ago
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated last year
• tlack / b-decoded
  arthur whitney's b interpreter translated into a more traditional flavor of C
  ☆97Updated 7 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• aryx / syncweb
  literate programming meets unison
  ☆28Updated last week
• mohd-akram / compilers
  A list of compilers with some metadata.
  ☆12Updated last year
• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 6 years ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆49Updated 7 years ago
• sam46 / Paskell
  A Pascal to LLVM compiler in Haskell
  ☆126Updated 5 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆76Updated 14 years ago
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆62Updated 16 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆36Updated 2 years ago
• andrewchambers / qc
  quick c
  ☆35Updated 3 years ago
• andychu / bwk
  Kernighan's Awk a.k.a. "One True Awk"
  ☆55Updated 8 years ago
• yallop / ocaml-re-nfa
  OCaml code to construct an NFA from a regular expression
  ☆52Updated 4 years ago
• noether-lang / noether
  Noether programming language
  ☆127Updated 8 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• zserge / odetoj
  Rewrite of Arthur Whitney's one-page J interpreter in Rust
  ☆62Updated 5 years ago
• kerneis / cpc
  Continuation Passing C
  ☆112Updated 6 years ago