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
  ☆26Updated 4 years ago
• adam-mcdaniel / smpl
  A superset of brainfuck with dynamic memory management.
  ☆27Updated 4 years ago
• GaloisInc / flexdis86
  A library for disassembling x86-64 binaries.
  ☆39Updated this week
• embecosm / gnu-superopt
  The GNU Superoptimizer
  ☆26Updated 10 years ago
• rain-1 / tarot-compiler
  ☆17Updated 5 years ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆47Updated last year
• Battelle / tiresias
  ARM is Turing-complete without data fetches
  ☆19Updated 6 years ago
• Schol-R-LEA / Assiah
  A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures
  ☆14Updated 6 years ago
• EarlGray / dolphinos
  A simple bare-metal shell using x86 assembly in real mode.
  ☆9Updated 10 years ago
• stephenrkell / elftin
  Rag-bag of utilities and scripts that do strange things with ELF files
  ☆17Updated this week
• charles-l / dirt
  x86 assembler in scheme
  ☆29Updated 5 years ago
• contificate / lr
  An interactive tool for experimenting with LR(1) grammars
  ☆14Updated 3 years ago
• burtonsamograd / anser
  A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…
  ☆14Updated 6 years ago
• nspin / hs-arm
  (Dis)assembler and analyzer generated from the machine-readable ARMv8.3-A specification
  ☆26Updated 7 years ago
• lifthrasiir / esotope-bfc
  Esotope Brainfuck Compiler (2009)
  ☆28Updated 9 years ago
• enferex / asrepl
  asrepl: x86-64 assembly REPL
  ☆69Updated 7 years ago
• diku-dk / futhark-with-fangs
  The web framework nobody asked for, wants, or needs.
  ☆20Updated 4 years ago
• blackle / LZMA-Vizualizer
  visualizer to see which parts of an lzma compressed file took the most number of bytes
  ☆31Updated 3 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated 2 weeks ago
• melvinzhang / binary-lambda-calculus
  For exploring http://www.ioccc.org/2012/tromp/hint.html
  ☆32Updated 7 years ago
• Bulat-Ziganshin / magus
  Portable high-level assembler with authentic C syntax
  ☆24Updated 2 years ago
• HackerFoo / startle
  Startle C Library
  ☆18Updated 6 years ago
• xoreaxeaxeax / tiresias
  ARM is Turing-complete without data fetches
  ☆56Updated 6 years ago
• KnightOS / kcc
  KnightOS C compiler
  ☆24Updated 4 years ago
• codr4life / snabl
  a Lispy Forth in C++
  ☆25Updated 6 years ago
• serprex / Rue
  lang Thue + Regex
  ☆14Updated 2 years ago
• peterferrie / brainfuck
  compiler for x86 in 100 bytes
  ☆68Updated 10 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆31Updated last year
• libfirm / bytecode2firm
  Convert Java bytecode to firm IR
  ☆18Updated 8 years ago
• stokito / fortress-lang
  ☆54Updated 8 years ago