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
- Decompose source code into templates and fragments for any language.☆21Updated 2 years ago
- Parser for the llvm bitcode format☆59Updated 2 months ago
- Visualization of LLVM IR☆59Updated 11 years ago
- Runtime support for LLVM's GC Statepoints☆42Updated 5 years ago
- ☆53Updated last year
- LLVM Assembler adding Debug Information at IR Level.☆32Updated 6 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆70Updated 9 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 3 weeks ago
- Example implementation of Arm's Architecture Specification Language (ASL)☆117Updated 5 years ago
- Research Compiler using Graph IR for Code Optimizations and Code Generations☆49Updated 6 years ago
- custom type systems for Clang☆98Updated 9 years ago
- Compiler for a new programming language: Embedded Systems Language (ESL).☆33Updated last month
- ALLVM Tools☆56Updated 3 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 8 months ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 4 years ago
- A cross platform JIT engine based on Eclipse OMR☆27Updated 5 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- ☆18Updated 5 years ago
- Attribute grammar Based Language Extensions for C☆40Updated last month
- dmr_C is a C parser and JIT compiler with LLVM, Eclipse OMR and NanoJIT backends☆53Updated 5 years ago
- Fork of LLVM adding CHERI support☆52Updated this week
- The latest development version of rose. It may not pass all regression tests.☆107Updated 6 years ago
- Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.☆57Updated last year
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆202Updated 11 months ago
- DExTer - Debug Experience Tester☆34Updated 3 years ago
- Linux kernel library functions formally verified.☆52Updated 4 years ago
- Bottom Up Rewrite Generator☆29Updated 7 years ago
- Alive: Automatic LLVM's Instcombine Verifier☆220Updated last year