llir / grammarLinks
EBNF grammar of LLVM IR assembly.
☆66Updated 2 years ago
Alternatives and similar repositories for grammar
Users that are interested in grammar are comparing it to the libraries listed below
Sorting:
- Unofficial libjit mirror.☆62Updated 5 years ago
- Runtime support for LLVM's GC Statepoints☆42Updated 5 years ago
- Visualization of LLVM IR☆59Updated 11 years ago
- Research Compiler using Graph IR for Code Optimizations and Code Generations☆49Updated 6 years ago
- ☆53Updated last year
- Parser for the llvm bitcode format☆59Updated this week
- Automatic inference of a formal specification of the x86_64 instruction set☆70Updated 9 years ago
- Compiler for a new programming language: Embedded Systems Language (ESL).☆33Updated last month
- Decompose source code into templates and fragments for any language.☆21Updated 2 years ago
- An x86-64 instruction decoder.☆16Updated last year
- A tool for testing C compilers automatically☆21Updated 9 years ago
- A Self-Hosting LISP to LLVM-IR Compiler☆27Updated 5 years ago
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆202Updated last year
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated last month
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Updated this week
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 4 years ago
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆20Updated this week
- ALLVM Tools☆56Updated 3 years ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- Direct, source-level WebAssembly debugger☆50Updated 4 years ago
- A simple SSA-based compiler.☆16Updated last year
- custom type systems for Clang☆98Updated 9 years ago
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆156Updated 2 years ago
- An LLVM IR Editor plugin for Eclipse☆51Updated 11 years ago
- SOM++ - C++ implementation of the Simple Object Machine Smalltalk☆15Updated this week
- A simple VM to play with OSR in LLVM☆14Updated 8 years ago
- print information from LLVM dataflow analyses☆13Updated 5 years ago
- Example implementation of Arm's Architecture Specification Language (ASL)☆117Updated 5 years ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆43Updated 5 years ago