RReverser / vscode-llvm
LLVM syntax highlight extension for VS Code
☆13Updated last year
Alternatives and similar repositories for vscode-llvm:
Users that are interested in vscode-llvm are comparing it to the libraries listed below
- measure entropy of memory allocators☆12Updated 3 years ago
- Portable SIMD specification☆19Updated 7 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 4 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated 2 months ago
- DExTer - Debug Experience Tester☆33Updated 3 years ago
- How fast can we brute force a 64-bit comparison?☆52Updated 5 years ago
- An interface for using mwillsey/egg with math simplification.☆13Updated 10 months ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago
- manipulate LLVM IR files☆32Updated 9 years ago
- ☆13Updated 3 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago
- A small test for multithreaded C++ stack unwinding on unixes☆16Updated 5 years ago
- Quick experiment to see how expensive safety is in C, for research☆12Updated 6 years ago
- LLVM dependence graphs☆12Updated 4 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆12Updated 12 years ago
- Formally verified implementation of Alive in Lean☆36Updated last year
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆15Updated last year
- DSL for stencils and image processing☆13Updated 8 years ago
- Library for writing tests for utilities that read text files and produce text output☆22Updated 4 years ago
- Lower Size Bounds for Sorting Networks☆44Updated 4 years ago
- A library for disassembling x86-64 binaries.☆39Updated last month
- A library for binary analysis and rewriting☆47Updated last year
- Tools for Compiler Explorer☆21Updated 2 years ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Updated 4 years ago
- Neil (Not Exactly an Intermediate Language), using MPC with LLVM☆11Updated 8 years ago
- UB-aware interpreter for LLVM debugging☆26Updated last week
- Isabelle LLVM Code Generator and Refinement☆27Updated last month
- Makes building C++ projects easier with Buck.☆23Updated 3 years ago
- Tools for testing C compilers for the correct handling of volatile objects.☆26Updated 10 years ago