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
• contificate / lr
  An interactive tool for experimenting with LR(1) grammars
  ☆14Updated 3 years ago
• stephenrkell / elftin
  Rag-bag of utilities and scripts that do strange things with ELF files
  ☆17Updated 2 months ago
• Battelle / tiresias
  ARM is Turing-complete without data fetches
  ☆19Updated 7 years ago
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 14 years ago
• GaloisInc / flexdis86
  A library for disassembling x86-64 binaries.
  ☆41Updated last week
• Battelle / vimmmex
  The vim execution engine
  ☆26Updated 7 years ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆47Updated last year
• Schol-R-LEA / Assiah
  A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures
  ☆16Updated 6 years ago
• EarlGray / language-incubator
  Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.
  ☆57Updated last year
• GaloisInc / semmc
  Stratified synthesis for learning machine code instruction semantics
  ☆36Updated last week
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆59Updated last month
• blackle / LZMA-Vizualizer
  visualizer to see which parts of an lzma compressed file took the most number of bytes
  ☆32Updated last week
• libfirm / bytecode2firm
  Convert Java bytecode to firm IR
  ☆18Updated 8 years ago
• kade-robertson / pythuhn
  A Python interpreter for the huh? programming language.
  ☆10Updated 7 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆44Updated 4 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
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆16Updated 14 years ago
• fay59 / interpiler
  Turn an interpreter into a code generator
  ☆31Updated 9 years ago
• leegao / RegexEnumerator
  Combinatorial tricks to enumerate regular expressions in closed-form.
  ☆33Updated 8 years ago
• lifthrasiir / esotope-bfc
  Esotope Brainfuck Compiler (2009)
  ☆28Updated 9 years ago
• cia-foundation / bininfo
  objdump for TempleOS BINaries
  ☆11Updated 4 years ago
• serprex / Rue
  lang Thue + Regex
  ☆14Updated 3 years ago
• ianopolous / JayD
  An x86 disassembler written in Java (port of udis86)
  ☆13Updated 10 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• enferex / asrepl
  asrepl: x86-64 assembly REPL
  ☆69Updated 8 years ago
• irori / unlambda
  Unlambda interpreter
  ☆12Updated 9 months ago
• brianquinlan / brainfuck-jit
  A simple Brainfuck JIT written as a learning exercise.
  ☆16Updated 5 years ago
• GaloisInc / elf-edit
  The elf-edit library provides a datatype suitable for reading and writing Elf files.
  ☆39Updated last week
• KnightOS / kcc
  KnightOS C compiler
  ☆24Updated 4 years ago