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.
  ☆103Updated 5 months ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆36Updated 9 months ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 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…
  ☆89Updated last year
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆75Updated 14 years ago
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated last year
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆43Updated 4 months ago
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆53Updated 4 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆48Updated 7 years ago
• TobyGoodwin / pacc
  pacc: a compiler-compiler
  ☆37Updated 8 years ago
• jkff / ire
  Incremental regular expression matching
  ☆53Updated 12 years ago
• ktye / iv
  APL interpreter and stream processor
  ☆131Updated 4 years ago
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆73Updated last year
• 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…
  ☆40Updated last month
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆118Updated 2 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• silentbicycle / hopscotch
  An implementation of Tarjan's Strongly Connected Components algorithm
  ☆13Updated 5 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 3 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 3 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆211Updated 6 months ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• smabie / xs
  concatenative array language inspired by kdb/+q
  ☆91Updated 3 years ago
• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 8 years ago
• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 6 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 4 years ago
• andychu / bwk
  Kernighan's Awk a.k.a. "One True Awk"
  ☆55Updated 8 years ago
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 2 years ago
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆120Updated 11 years ago
• mikebolt / posh
  A modular shell
  ☆17Updated 10 years ago