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
• stephenrkell / elftin
  Rag-bag of utilities and scripts that do strange things with ELF files
  ☆17Updated last month
• GaloisInc / flexdis86
  A library for disassembling x86-64 binaries.
  ☆39Updated last month
• Battelle / tiresias
  ARM is Turing-complete without data fetches
  ☆19Updated 7 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated 3 weeks ago
• contificate / lr
  An interactive tool for experimenting with LR(1) grammars
  ☆14Updated 3 years ago
• adam-mcdaniel / smpl
  A superset of brainfuck with dynamic memory management.
  ☆28Updated 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
• GaloisInc / elf-edit
  The elf-edit library provides a datatype suitable for reading and writing Elf files.
  ☆36Updated last month
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆47Updated last year
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 14 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆20Updated 9 years ago
• serprex / Rue
  lang Thue + Regex
  ☆14Updated 2 years ago
• dbp / howtoprovefullabstraction
  Writeup that goes along with this:
  ☆15Updated 6 years ago
• fare / moll
  My Own Linear Lisp
  ☆40Updated 6 years ago
• kulp / tenyr
  Simple, orthogonal 32-bit computer architecture and environment
  ☆28Updated last year
• GaloisInc / surveyor
  A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
  ☆18Updated 4 years ago
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆29Updated 3 weeks ago
• GaloisInc / semmc
  Stratified synthesis for learning machine code instruction semantics
  ☆36Updated 8 months ago
• arthuraa / memory-safe-language
  A formalization of properties of a simple imperative, memory-safe language.
  ☆19Updated 3 years ago
• enferex / asrepl
  asrepl: x86-64 assembly REPL
  ☆68Updated 7 years ago
• Schol-R-LEA / Assiah
  A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures
  ☆16Updated 6 years ago
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆24Updated 2 years ago
• xoreaxeaxeax / tiresias
  ARM is Turing-complete without data fetches
  ☆55Updated 7 years ago
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆18Updated 8 years ago
• Bulat-Ziganshin / magus
  Portable high-level assembler with authentic C syntax
  ☆24Updated 2 years ago
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆11Updated 7 years ago
• GregoryComer / x86-csv
  A machine-readable representation of the Intel x86 Instruction Set Reference.
  ☆36Updated 4 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• lifthrasiir / esotope-bfc
  Esotope Brainfuck Compiler (2009)
  ☆28Updated 9 years ago