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
• 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
• microsoft / compiler-tests
  This repo contains Microsoft compiler-tests to validate Windows platform particulars.
  ☆28Updated 2 years ago
• ykjit / hwtracer
  Trace a program using CPU tracer technology.
  ☆27Updated 3 years ago
• wasm3 / wasm-debug
  Direct, source-level WebAssembly debugger
  ☆52Updated 4 years ago
• model-checking / kani-vscode-extension
  Kani VSCode Extension
  ☆19Updated this week
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆50Updated 5 years ago
• eschulte / llvm-mutate
  manipulate LLVM IR files
  ☆32Updated 10 years ago
• denzp / rustc-llvm-proxy
  Proxy LLVM calls into Rust own shared library in runtime
  ☆34Updated last year
• drepper / optmark
  Markup source code showing optimizations
  ☆36Updated 6 years ago
• nickgildea / z3_codegen
  A toy code generator (i.e. "program synthesis") using the Z3 solver
  ☆34Updated 8 years ago
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 6 years ago
• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆66Updated 5 years ago
• fitzgen / wasm-smith
  A WebAssembly test case generator
  ☆44Updated 5 years ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆34Updated 4 years ago
• falconre / finch
  Symbolic Execution over Falcon IL
  ☆30Updated 4 years ago
• kanaka / warpy
  WebAssembly interpreter in RPython
  ☆66Updated 6 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
• inducer / pycparserext
  Extensions for Eli Bendersky's pycparser
  ☆91Updated 2 months ago
• Qwaz / satire
  An educational SAT solver written in Rust
  ☆13Updated 2 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated last week
• Vector35 / dwarf_import
  This loads DWARF info from an open binary and propagates function names, arguments, and type info
  ☆26Updated 2 years ago
• delcypher / nsolv
  Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.
  ☆11Updated 13 years ago
• SRI-CSL / filia
  Translate Python and JavaScript into MLIR
  ☆17Updated 3 years ago
• runtimeverification / llvm-backend
  KORE to llvm translation
  ☆41Updated 3 months ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆82Updated 2 years ago
• CompArchCam / Janus
  Automatic Binary Parallelisation
  ☆43Updated 11 months ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 5 years ago
• sheredom / yair
  🦜 yair - a high-level compiler IR entirely written in Rust
  ☆38Updated 4 years ago