Alternatives and similar repositories for grammar:

Users that are interested in grammar are comparing it to the libraries listed below

• ademakov / libjit
  Unofficial libjit mirror.
  ☆59Updated 4 years ago
• pfalcon / graph-llvm-ir
  Visualization of LLVM IR
  ☆60Updated 10 years ago
• kavon / llvm-statepoint-utils
  Runtime support for LLVM's GC Statepoints
  ☆42Updated 4 years ago
• smowton / llpe
  ☆49Updated 10 months ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated 4 months ago
• mshockwave / gross
  Research Compiler using Graph IR for Code Optimizations and Code Generations
  ☆49Updated 5 years ago
• frdwarf / dwarf-synthesis
  ☆27Updated 5 years ago
• REMath / mit_16.399
  MIT's abstract interpretation class taught by Cousot
  ☆38Updated 10 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆14Updated 7 years ago
• amshafer / Pinch
  A simple borrow-checked language built using LLVM's MLIR
  ☆27Updated 4 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆78Updated 11 months ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 2 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• wasm3 / wasm-debug
  Direct, source-level WebAssembly debugger
  ☆42Updated 3 years ago
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆38Updated 2 years ago
• melt-umn / ableC
  Attribute grammar Based Language Extensions for C
  ☆39Updated last week
• sampsyo / quala
  custom type systems for Clang
  ☆96Updated 9 years ago
• jhjourdan / C11parser
  A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
  ☆192Updated 7 months ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 3 years ago
• SRI-CSL / musllvm
  The start of a port of musl libc to an "x86_64 llvm bitcode" architecture.
  ☆25Updated 5 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆68Updated 8 years ago
• richfelker / mallocng-draft
  Working draft of nextgen malloc implementation for musl libc
  ☆117Updated 4 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 3 years ago
• thestr4ng3r / llvm-dbas
  LLVM Assembler adding Debug Information at IR Level.
  ☆32Updated 6 years ago
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆21Updated 2 years ago
• andreas-abel / XED-to-XML
  XML representation of the x86 instruction set
  ☆28Updated 2 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆54Updated last year
• grievejia / LLVMDynamicTools
  An LLVM interpreter that aims to compute points-to sets dynamically
  ☆31Updated 10 years ago
• SNSystems / dexter
  DExTer - Debug Experience Tester
  ☆33Updated 3 years ago