Alternatives and similar repositories for vscode-llvm

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

• LykenSol / grammer
  Grammar framework.
  ☆12Updated 5 years ago
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆64Updated 5 years ago
• viperproject / axiom-profiler
  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  ☆32Updated 5 months ago
• serge-sans-paille / mapping-line-to-offset
  ☆13Updated 4 years ago
• ClangBuiltLinux / llvm-distributors-conf-2021
  A day of lightning talks for folks who distribute and release builds of LLVM, with a focus on configuration, testing, and unique constrai…
  ☆36Updated 3 years ago
• model-checking / kani-vscode-extension
  Kani VSCode Extension
  ☆18Updated 2 months ago
• lammich / isabelle_llvm
  Isabelle LLVM Code Generator and Refinement
  ☆28Updated 2 weeks ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 4 years ago
• ykjit / hwtracer
  Trace a program using CPU tracer technology.
  ☆27Updated 2 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• microsoft / AliveInLean
  Formally verified implementation of Alive in Lean
  ☆36Updated 2 years ago
• m4b / cargo-sym
  Prints various binary symbols in your crate
  ☆14Updated 8 years ago
• plasma-umass / entroprise
  measure entropy of memory allocators
  ☆12Updated 3 years ago
• trailofbits / sixtyfour
  How fast can we brute force a 64-bit comparison?
  ☆52Updated 5 years ago
• whitequark / LLVM.tmBundle
  LLVM assembly syntax highlighting and snippets
  ☆13Updated 2 years ago
• runtimeverification / llvm-backend
  KORE to llvm translation
  ☆39Updated this week
• ninja-rs / ninja-rs
  Ninja is a small build system with a focus on speed. Rust language port.
  ☆17Updated 7 years ago
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 6 years ago
• SRI-CSL / OCCAM
  OCCAM: Object Culling and Concretization for Assurance Maximization
  ☆26Updated 2 years ago
• denzp / rustc-llvm-proxy
  Proxy LLVM calls into Rust own shared library in runtime
  ☆34Updated last year
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated last year
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated 2 months ago
• sheredom / yair
  🦜 yair - a high-level compiler IR entirely written in Rust
  ☆38Updated 3 years ago
• fitzgen / wasm-smith
  A WebAssembly test case generator
  ☆43Updated 4 years ago
• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆66Updated 5 years ago
• kanaka / warpy
  WebAssembly interpreter in RPython
  ☆66Updated 6 years ago
• rutgers-apl / rlibm-all
  RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…
  ☆16Updated last year
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆27Updated 4 years ago
• rust-vmm / vm-superio
  Emulation for legacy devices
  ☆30Updated 2 weeks ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆40Updated 2 years ago