whitequark / LLVM.tmBundleLinks
LLVM assembly syntax highlighting and snippets
☆13Updated 2 years ago
Alternatives and similar repositories for LLVM.tmBundle
Users that are interested in LLVM.tmBundle are comparing it to the libraries listed below
Sorting:
- Embedded Universal DSL: a good DSL for us, by us☆40Updated this week
- ☆32Updated last year
- LLVM syntax highlight extension for VS Code☆13Updated last year
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- Yet another ZX Spectrum Emulator☆18Updated 3 weeks ago
- Sled System Emulator☆28Updated 2 months ago
- A low-level intermediate representation for hardware description languages☆28Updated 5 years ago
- 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
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆27Updated 4 years ago
- A SAT solver implementation in VHDL, team tussle☆20Updated 9 years ago
- A machine-readable representation of the Intel x86 Instruction Set Reference.☆36Updated 4 years ago
- Example implementation of Arm's Architecture Specification Language (ASL)☆118Updated 5 years ago
- The website for freeCompilerCamp's classroom tutorials, using Github Pages.☆32Updated 3 years ago
- GPU model checker☆11Updated 6 years ago
- ☆20Updated 4 months ago
- GNU Superoptimizer Version 2☆26Updated 4 years ago
- UB-aware interpreter for LLVM debugging☆29Updated 3 weeks ago
- Workflows to build daily and ad hoc compilers for Compiler Explorer☆20Updated last week
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Updated 7 years ago
- Solving floating point SMT constraints on a GPU☆49Updated 4 years ago
- Some experiments with SMT solvers and GIMPLE IR☆38Updated last year
- lldb-eval is a library for evaluating expressions in the debugger context☆85Updated 3 months ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆26Updated 2 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆42Updated 11 months ago
- llvm opt fuzzer and bounded exhaustive test generator☆40Updated 2 years ago
- 😇 Wholly Adaptive LLVM Optimizer☆27Updated 4 years ago
- Superoptimizer using the z3 SMT solver☆17Updated 4 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 5 years ago
- Neil (Not Exactly an Intermediate Language), using MPC with LLVM☆11Updated 8 years ago
- Terminating is exciting☆22Updated 8 years ago