Alternatives and similar repositories for mapping-high-level-constructs-to-llvm-ir

Users that are interested in mapping-high-level-constructs-to-llvm-ir are comparing it to the libraries listed below

• AliveToolkit / alive2
  Automatic verification of LLVM optimizations
  ☆935Updated 3 weeks ago
• sampsyo / bril
  an educational compiler intermediate representation
  ☆680Updated last week
• mgaudet / CompilerJobs
  A listing of compiler, language and runtime teams for people looking for jobs in this area
  ☆600Updated last month
• wdv4758h / awesome-jit
  A curated list of awesome JIT frameworks, libraries, software and resources
  ☆484Updated last year
• libfirm / libfirm
  graph based intermediate representation and backend for optimising compilers
  ☆511Updated 4 months ago
• ghaiklor / llvm-kaleidoscope
  LLVM Tutorial: Kaleidoscope (Implementing a Language with LLVM)
  ☆263Updated 2 years ago
• learn-llvm / awesome-llvm
  A curated list of awesome LLVM (including Clang, etc) related resources.
  ☆636Updated 7 months ago
• intel / yarpgen
  Yet Another Random Program Generator
  ☆520Updated this week
• SeaOfNodes / Simple
  A Simple showcase for the Sea-of-Nodes compiler IR
  ☆676Updated this week
• JuliaHubOSS / llvm-cbe
  resurrected LLVM "C Backend", with improvements
  ☆907Updated 3 months ago
• mukul-rathi / bolt
  Bolt is a language with in-built data-race freedom!
  ☆599Updated last year
• csmith-project / csmith
  Csmith, a random generator of C programs
  ☆1,104Updated last year
• llvm / clangir
  A new (MLIR based) high-level IR for clang.
  ☆510Updated last week
• banach-space / clang-tutor
  A collection of out-of-tree Clang plugins for teaching and learning
  ☆737Updated 2 months ago
• Jonathan2251 / lbd
  ☆375Updated this week
• pfalcon / awesome-program-analysis
  Program Analisys and Transformation survey and links (particular focus on SSA)
  ☆165Updated 4 years ago
• google / souper
  A superoptimizer for LLVM IR
  ☆2,262Updated 10 months ago
• sampsyo / cs6120
  advanced compilers
  ☆841Updated last week
• sampsyo / llvm-pass-skeleton
  example LLVM pass
  ☆589Updated 4 months ago
• nael8r / How-To-Write-An-LLVM-Register-Allocator
  This repository contains a tutorial for a quick start in how to write a register allocator using LLVM
  ☆278Updated 6 years ago
• c-testsuite / c-testsuite
  A public database of C compiler test cases, minimal test runners, and public test results.
  ☆227Updated 4 years ago
• trailofbits / vast
  VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choo…
  ☆419Updated 2 months ago
• pfalcon / ssabook
  Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …
  ☆142Updated 4 years ago
• vnmakarov / mir
  A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR
  ☆2,446Updated 10 months ago
• StanfordPL / stoke
  STOKE: A stochastic superoptimizer and program synthesizer
  ☆785Updated last year
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆292Updated 3 years ago
• csmith-project / creduce
  C-Reduce, a C and C++ program reducer
  ☆1,597Updated last year
• spencertipping / jit-tutorial
  How to write a very simple JIT compiler
  ☆1,864Updated 4 years ago
• rose-compiler / rose
  ROSE is an open-source compiler framework engineered by LLNL supporting program analysis and transformation at both the source and binary…
  ☆644Updated this week
• cil-project / cil
  C Intermediate Language
  ☆376Updated last year