Battelle / reductio

Related projects ⓘ

Alternatives and complementary repositories for reductio

• ianopolous / JayD
  An x86 disassembler written in Java (port of udis86)
  ☆13Updated 9 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 3 years ago
• nspin / hs-arm
  (Dis)assembler and analyzer generated from the machine-readable ARMv8.3-A specification
  ☆25Updated 6 years ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆47Updated last year
• GaloisInc / flexdis86
  A library for disassembling x86-64 binaries.
  ☆37Updated 10 months ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆48Updated 3 years ago
• Battelle / tiresias
  ARM is Turing-complete without data fetches
  ☆18Updated 6 years ago
• adam-mcdaniel / smpl
  A superset of brainfuck with dynamic memory management.
  ☆26Updated 4 years ago
• stephenrkell / elftin
  Rag-bag of utilities and scripts that do strange things with ELF files
  ☆15Updated last year
• serprex / Rue
  lang Thue + Regex
  ☆13Updated 2 years ago
• libfirm / bytecode2firm
  Convert Java bytecode to firm IR
  ☆18Updated 7 years ago
• GaloisInc / semmc
  Stratified synthesis for learning machine code instruction semantics
  ☆35Updated 3 months 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 / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated 2 months ago
• Bulat-Ziganshin / magus
  Portable high-level assembler with authentic C syntax
  ☆22Updated 2 years ago
• Battelle / vimmmex
  The vim execution engine
  ☆25Updated 6 years ago
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆22Updated 2 years ago
• EarlGray / language-incubator
  Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.
  ☆55Updated 7 months ago
• xoreaxeaxeax / tiresias
  ARM is Turing-complete without data fetches
  ☆54Updated 6 years ago
• ktemkin-archive / bfstub
  Stub example hypervisor for AArch64 intended to allow other hypervisors to become resident later
  ☆20Updated 2 years ago
• 71 / asmdot
  [Unstable] Fast, zero-copy and lightweight (Arm | Mips | x86) assembler in (C | C++ | C# | Go | Haskell | Javascript | Nim | OCaml | Pyth…
  ☆40Updated 4 years ago
• rain-1 / tarot-compiler
  ☆17Updated 5 years ago
• StanfordPL / strata-data
  Experimental results of the strata project
  ☆9Updated 8 years ago
• stokito / fortress-lang
  ☆53Updated 7 years ago
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆42Updated 3 years ago
• QazmoQwerty / error-reporter
  A simple implementation for pretty, Rust-style error diagnostics.
  ☆25Updated 4 years ago
• charles-l / dirt
  x86 assembler in scheme
  ☆29Updated 5 years ago
• Hypersonic / bf_symex
  symbolic execution engine for brainfuck because lol
  ☆13Updated 7 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆68Updated 8 years ago