Alternatives and similar repositories for dwarbf

Users that are interested in dwarbf are comparing it to the libraries listed below

• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated 8 months ago
• gamozolabs / init
  A super simple /sbin/init for Linux which allows running one and only one program
  ☆28Updated last year
• iximeow / yaxpeax-dis
  yaxdis, a small and naive disassembler using yaxpeax decoders
  ☆33Updated 2 months ago
• playX18 / asmkit
  Assembler toolkit: encoding and decoding of various architectures
  ☆33Updated 6 months ago
• pornin / cycle-counter
  ☆23Updated 6 months ago
• iximeow / yaxpeax-core
  program analysis for machine code
  ☆35Updated 3 years ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆102Updated 3 years ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• IntelLabs / asl-interpreter
  Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)
  ☆20Updated last week
• mkeeter / ssra
  The Solid-State Register Allocator
  ☆86Updated 2 years ago
• iximeow / regmap
  memory-mapped registers for x86_64 systems
  ☆33Updated 4 years ago
• iximeow / yaxpeax-x86
  x86 decoders for the yaxpeax project
  ☆137Updated 3 weeks ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆26Updated 2 years ago
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆48Updated 7 months ago
• katef / kye
  Kye
  ☆23Updated 2 years ago
• ehwan / RustyLR
  RustyLR is a parser generator that converts context-free grammars into IELR(1)/LALR(1) tables with deterministic LR and GLR parsing strat…
  ☆19Updated this week
• contificate / lr
  An interactive tool for experimenting with LR(1) grammars
  ☆17Updated 3 years ago
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆42Updated 10 months ago
• lf- / mu
  [in-progress] toy rust microkernel and operating system for riscv64
  ☆28Updated 3 years ago
• eleanor-em / ccc
  A compiler for the esoteric language ℂ.
  ☆28Updated 3 years ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆84Updated 2 weeks ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated 3 months ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆31Updated this week
• pkhuong / reciprocal
  Faster division by constants that aren't known at compile-time
  ☆29Updated 3 years ago
• iximeow / yaxpeax-arch
  fundamental traits to describe an architecture in the yaxpeax project
  ☆15Updated 3 months ago
• endofunky / heart
  A 1014 Byte ELF64/DOS.COM/GameBoy/Megadrive/PDF/ARJ/PKZIP/7zip Polyglot Binary
  ☆12Updated 2 years ago
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆42Updated last year
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated this week
• iximeow / yaxpeax-arm
  arm decoders for the yaxpeax project
  ☆26Updated last month
• moyix / 2_ffast_2_furious
  A more realistic demo of a buffer overflow cause by -ffast-math
  ☆14Updated 2 years ago