Alternatives and similar repositories for debug-visualizer

Users that are interested in debug-visualizer are comparing it to the libraries listed below

• stephenrkell / elftin
  Rag-bag of utilities and scripts that do strange things with ELF files
  ☆18Updated 2 months ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆49Updated 2 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆16Updated 3 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 10 years ago
• vusec / LookUB
  ☆14Updated last year
• BR903 / cppp
  A program for automatically resolving #ifdef statements in C code.
  ☆37Updated last year
• allvm / allvm-tools
  ALLVM Tools
  ☆57Updated 3 years ago
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆43Updated last year
• compiler-research / idd
  A System for Differential Debugging
  ☆22Updated 9 months ago
• resistor / BrainFTracing
  A trace-based JIT for brainfuck
  ☆48Updated 15 years ago
• GaloisInc / flexdis86
  A library for disassembling x86-64 binaries.
  ☆44Updated 9 months ago
• stephenrkell / donald
  The Mickey Mouse of dynamic linkers
  ☆16Updated 2 months ago
• AmrDeveloper / LLQL
  LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…
  ☆64Updated last week
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated this week
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆46Updated 7 years ago
• true-grue / python-dsls
  Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023
  ☆21Updated 2 years ago
• GaloisInc / surveyor
  A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
  ☆20Updated 5 years ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆36Updated 3 weeks ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆29Updated 4 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 3 years ago
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆38Updated last year
• runtimeverification / llvm-backend
  KORE to llvm translation
  ☆42Updated 3 months ago
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆24Updated last year
• tlively / BrainCoqulus
  A formally verified compiler of untyped lambda calculus to brainfuck
  ☆16Updated 8 years ago
• jplevyak / ifa
  IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…
  ☆13Updated this week
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆23Updated 3 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆33Updated 9 months ago
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆16Updated 14 years ago
• gergoerdi / metafun
  Compile Haskell-like code into C++ template metaprograms
  ☆66Updated 9 years ago
• RedlineResearch / floorplan
  Spatial layout specifications for memory management systems.
  ☆19Updated 5 years ago