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.
  ☆107Updated last year
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 5 years ago
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆125Updated 2 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆110Updated 8 years ago
• colis-anr / morbig
  A static parser for POSIX Shell
  ☆200Updated 2 years ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 3 years ago
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆76Updated 2 years ago
• 0x65 / trampoline
  How to implement trampolines for tail calls in Python
  ☆32Updated 11 years ago
• andychu / bwk
  Kernighan's Awk a.k.a. "One True Awk"
  ☆58Updated 9 years ago
• TobyGoodwin / pacc
  pacc: a compiler-compiler
  ☆37Updated 9 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆97Updated 10 years ago
• kerneis / cpc
  Continuation Passing C
  ☆114Updated 6 years ago
• softdevteam / krun
  High fidelity benchmark runner
  ☆90Updated 4 years ago
• TieDyedDevil / XS
  [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.
  ☆51Updated 4 years ago
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated 2 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆51Updated 8 years ago
• jkff / ire
  Incremental regular expression matching
  ☆53Updated 13 years ago
• cell-lang / runtime
  Cell language C++ runtime
  ☆18Updated 5 years ago
• tlack / b-decoded
  arthur whitney's b interpreter translated into a more traditional flavor of C
  ☆100Updated 8 years ago
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆126Updated 12 years ago
• google / redgrep
  ♥ Janusz Brzozowski
  ☆162Updated last year
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆124Updated 5 years ago
• binpash / libdash
  The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…
  ☆46Updated 11 months ago
• monte-language / typhon
  A virtual machine for Monte.
  ☆68Updated 2 months ago
• MaxwellBo / well-documented
  📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications
  ☆60Updated 4 years ago
• cdosborn / lit
  A modern tool for literate programming
  ☆277Updated 8 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆12Updated 12 years ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆39Updated 6 months ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• ashutoshbsathe / yacv
  Yet Another Compiler Visualizer
  ☆159Updated 4 years ago