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 3 years ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆47Updated last year
• adam-mcdaniel / smpl
  A superset of brainfuck with dynamic memory management.
  ☆26Updated 4 years ago
• GaloisInc / flexdis86
  A library for disassembling x86-64 binaries.
  ☆37Updated last year
• stephenrkell / elftin
  Rag-bag of utilities and scripts that do strange things with ELF files
  ☆17Updated last month
• Battelle / tiresias
  ARM is Turing-complete without data fetches
  ☆19Updated 6 years ago
• contificate / lr
  An interactive tool for experimenting with LR(1) grammars
  ☆14Updated 2 years ago
• GaloisInc / surveyor
  A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
  ☆18Updated 4 years ago
• Bulat-Ziganshin / magus
  Portable high-level assembler with authentic C syntax
  ☆23Updated 2 years ago
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 14 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆49Updated 3 years ago
• xoreaxeaxeax / tiresias
  ARM is Turing-complete without data fetches
  ☆55Updated 6 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆68Updated 8 years ago
• GaloisInc / semmc
  Stratified synthesis for learning machine code instruction semantics
  ☆36Updated 5 months ago
• StanfordPL / strata-data
  Experimental results of the strata project
  ☆9Updated 8 years ago
• GaloisInc / elf-edit
  The elf-edit library provides a datatype suitable for reading and writing Elf files.
  ☆36Updated last week
• nspin / hs-arm
  (Dis)assembler and analyzer generated from the machine-readable ARMv8.3-A specification
  ☆26Updated 6 years ago
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 6 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆30Updated last year
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆57Updated 7 years ago
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆15Updated 13 years ago
• dbp / howtoprovefullabstraction
  Writeup that goes along with this:
  ☆15Updated 6 years ago
• irori / unlambda
  Unlambda interpreter
  ☆11Updated 6 months ago
• evincarofautumn / Ward
  A static analysis tool for C.
  ☆26Updated 5 years ago
• Xe / minicompiler
  An implementation of Terry Davis' minicompiler in Rust targeting WebAssembly
  ☆33Updated 4 years ago
• RedlineResearch / floorplan
  Spatial layout specifications for memory management systems.
  ☆19Updated 4 years ago
• enferex / asrepl
  asrepl: x86-64 assembly REPL
  ☆69Updated 7 years ago
• QazmoQwerty / error-reporter
  A simple implementation for pretty, Rust-style error diagnostics.
  ☆26Updated 4 years ago