Alternatives and similar repositories for vscode-llvm

Users that are interested in vscode-llvm are comparing it to the libraries listed below

• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆64Updated 5 years ago
• ykjit / hwtracer
  Trace a program using CPU tracer technology.
  ☆27Updated 3 years ago
• model-checking / kani-vscode-extension
  Kani VSCode Extension
  ☆19Updated last week
• eschulte / llvm-mutate
  manipulate LLVM IR files
  ☆32Updated 10 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆47Updated 3 years ago
• trailofbits / sixtyfour
  How fast can we brute force a 64-bit comparison?
  ☆54Updated 6 years ago
• delcypher / nsolv
  Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.
  ☆11Updated 13 years ago
• denzp / rustc-llvm-proxy
  Proxy LLVM calls into Rust own shared library in runtime
  ☆34Updated last year
• stephenrkell / elftin
  Rag-bag of utilities and scripts that do strange things with ELF files
  ☆18Updated 2 months ago
• nickgildea / z3_codegen
  A toy code generator (i.e. "program synthesis") using the Z3 solver
  ☆34Updated 8 years ago
• llvm-mirror / dragonegg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 7 years ago
• aguinet / purectypes
  pure-python C types packer/unpacker
  ☆19Updated 5 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated last week
• jcbeyler / wasm-to-llvm-prototype
  s-expression → internal IR → LLVM IR
  ☆47Updated 10 years ago
• m4b / bin2json
  Converts ELF, mach-o, or PE binaries to a JSON representation
  ☆34Updated 10 years ago
• wasm3 / wasm-debug
  Direct, source-level WebAssembly debugger
  ☆52Updated 4 years ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆49Updated 2 years ago
• BR903 / cppp
  A program for automatically resolving #ifdef statements in C code.
  ☆37Updated last year
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆78Updated 8 years ago
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆50Updated 5 years ago
• kanaka / warpy
  WebAssembly interpreter in RPython
  ☆66Updated 6 years ago
• cdl-saarland / axtor
  AST - Extractor for LLVM
  ☆18Updated 4 years ago
• sampsyo / llvm-ei
  extensible interpreter for LLVM dynamic analyses
  ☆45Updated 12 years ago
• runtimeverification / llvm-backend
  KORE to llvm translation
  ☆42Updated 3 months ago
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆13Updated 7 years ago
• struct / HardenedPartitionAlloc
  A forked and hardened version of PartitionAlloc from Chrome's Blink engine
  ☆66Updated 7 years ago
• trailofbits / clang-tidy-audit
  Rewrite C/C++/Obj-C to Annotate Points of Interest
  ☆27Updated 9 years ago
• GaloisInc / flexdis86
  A library for disassembling x86-64 binaries.
  ☆44Updated 9 months ago
• clasp-developers / ctak
  A small test for multithreaded C++ stack unwinding on unixes
  ☆16Updated 5 years ago
• whitequark / LLVM.tmBundle
  LLVM assembly syntax highlighting and snippets
  ☆14Updated 2 weeks ago