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.
  ☆105Updated last year
• HarvardPL / shill
  Scripting with Least Privilege
  ☆110Updated 8 years ago
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆121Updated 2 years ago
• monte-language / typhon
  A virtual machine for Monte.
  ☆69Updated last week
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆123Updated 12 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 10 years ago
• andychu / bwk
  Kernighan's Awk a.k.a. "One True Awk"
  ☆56Updated 9 years ago
• hellerve / ptolemy
  My reading list
  ☆83Updated 3 years ago
• studio / studio
  Studio is an interactive software diagnostics environment
  ☆121Updated 4 years ago
• colis-anr / morbig
  A static parser for POSIX Shell
  ☆194Updated last year
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆76Updated 14 years ago
• stephenrkell / liballocs
  Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s
  ☆232Updated last week
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated 2 years ago
• cell-lang / runtime
  Cell language C++ runtime
  ☆18Updated 4 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…
  ☆88Updated 2 years ago
• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 6 years ago
• kerneis / cpc
  Continuation Passing C
  ☆114Updated 6 years ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆38Updated 2 months ago
• google / redgrep
  ♥ Janusz Brzozowski
  ☆163Updated last year
• vmchale / polyglot
  Tool to count lines of source code.
  ☆252Updated last year
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆75Updated 2 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆77Updated 5 years ago
• TieDyedDevil / XS
  [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.
  ☆51Updated 4 years ago
• sustrik / tiles
  Programmatic code generation
  ☆83Updated 6 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆43Updated 10 months ago
• noether-lang / noether
  Noether programming language
  ☆127Updated 8 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago