Alternatives and similar repositories for reductio

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

• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆28Updated 4 years ago
• QazmoQwerty / error-reporter
  A simple implementation for pretty, Rust-style error diagnostics.
  ☆27Updated 5 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 8 years ago
• serprex / Rue
  lang Thue + Regex
  ☆15Updated 3 years ago
• matthewfl / redmagic
  A meta tracing JIT for x86 and interpreters written in C/C++
  ☆36Updated 8 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆31Updated 2 years ago
• contificate / lr
  An interactive tool for experimenting with LR(1) grammars
  ☆19Updated 3 years ago
• diku-dk / futhark-with-fangs
  The web framework nobody asked for, wants, or needs.
  ☆20Updated 4 years ago
• bagnalla / holyc_mal
  Mal Lisp for TempleOS
  ☆114Updated 3 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• GaloisInc / flexdis86
  A library for disassembling x86-64 binaries.
  ☆43Updated 5 months ago
• charles-l / dirt
  x86 assembler in scheme
  ☆29Updated 6 years ago
• RedlineResearch / floorplan
  Spatial layout specifications for memory management systems.
  ☆19Updated 5 years ago
• lee-naish / Pawns
  Pawns functional/imperative programming language compiler etc
  ☆11Updated 5 months ago
• siraben / r5rs-denot
  A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
  ☆21Updated 4 months ago
• aposwolsky / delphin
  The Delphin Project
  ☆10Updated 9 years ago
• xoreaxeaxeax / tiresias
  ARM is Turing-complete without data fetches
  ☆57Updated 7 years ago
• Deewiant / Mycology
  The Befunge-98 test suite.
  ☆26Updated 2 years ago
• programble / bare-metal-tetris
  Tetris for x86 in bad C. Succeeded by Tetrasm.
  ☆63Updated 10 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated 4 months ago
• adam-mcdaniel / smpl
  A superset of brainfuck with dynamic memory management.
  ☆30Updated 4 years ago
• stephenrkell / elftin
  Rag-bag of utilities and scripts that do strange things with ELF files
  ☆17Updated 6 months ago
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 15 years ago
• westerp / ebf-compiler
  A self hosting Extended brainfuck to pure brainfuck compiler
  ☆11Updated 7 years ago
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆16Updated 14 years ago
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆60Updated 8 years ago
• dbp / howtoprovefullabstraction
  Writeup that goes along with this:
  ☆15Updated 7 years ago
• peterferrie / brainfuck
  compiler for x86 in 100 bytes
  ☆69Updated 10 years ago
• lifthrasiir / esotope-bfc
  Esotope Brainfuck Compiler (2009)
  ☆29Updated 10 years ago
• ngzhian / ski
  SKI combinators
  ☆55Updated 8 years ago