RReverser / vscode-llvmLinks
LLVM syntax highlight extension for VS Code
☆14Updated last year
Alternatives and similar repositories for vscode-llvm
Users that are interested in vscode-llvm are comparing it to the libraries listed below
Sorting:
- Trace a program using CPU tracer technology.☆27Updated 2 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago
- This repo contains Microsoft compiler-tests to validate Windows platform particulars.☆26Updated 2 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 5 years ago
- Markup source code showing optimizations☆36Updated 5 years ago
- manipulate LLVM IR files☆32Updated 10 years ago
- Direct, source-level WebAssembly debugger☆49Updated 4 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- Kani VSCode Extension☆18Updated 3 months ago
- Rag-bag of utilities and scripts that do strange things with ELF files☆17Updated 6 months ago
- AST - Extractor for LLVM☆18Updated 4 years ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated 6 months ago
- Sample CICD Pipelines for OneFuzz☆28Updated 2 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago
- A library for disassembling x86-64 binaries.☆42Updated 4 months ago
- WebAssembly interpreter in RPython☆66Updated 6 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆40Updated 2 years ago
- System tracer implementation in Rust☆32Updated 8 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 7 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Updated 7 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- How fast can we brute force a 64-bit comparison?☆52Updated 5 years ago
- Proxy LLVM calls into Rust own shared library in runtime☆35Updated last year
- A neural network using fuzzing-style feedback rather than back-propagation☆18Updated 5 years ago
- 🦜 yair - a high-level compiler IR entirely written in Rust☆38Updated 3 years ago
- Solving floating point SMT constraints on a GPU☆49Updated 4 years ago
- Automatic Binary Parallelisation☆43Updated 6 months ago
- Extensions for Eli Bendersky's pycparser☆87Updated 3 weeks ago
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 8 years ago
- asrepl: x86-64 assembly REPL☆71Updated 8 years ago