true-grue / graph-irs

Related projects ⓘ

Alternatives and complementary repositories for graph-irs

• kavon / llvm-statepoint-utils
  Runtime support for LLVM's GC Statepoints
  ☆42Updated 4 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 2 years ago
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆42Updated 3 years ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆48Updated 2 weeks ago
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆15Updated 13 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 5 years ago
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆24Updated last week
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆12Updated last month
• rems-project / cerberus
  Cerberus C semantics
  ☆53Updated this week
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 3 years ago
• PrincetonUniversity / DeepSpecDB
  ☆27Updated last week
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated last year
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆32Updated 6 months ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated last year
• jacobstanley / ssa-anf
  SSA vs ANF
  ☆41Updated 9 years ago
• strake / frown
  LALR(k) Parser Generator for Haskell, by Ralf Hinze
  ☆9Updated 4 years ago
• phate / jlm
  ☆53Updated this week
• raphael-proust / cps-ssa
  Experiments about intermediate representations in compilers
  ☆25Updated 12 years ago
• raviqqe / fmm
  The uncurried minimal functional programming language for CPS transformation
  ☆18Updated 8 months ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• funemy / SWORD
  SWORD: A Whole Program Race Detector for Java
  ☆13Updated 3 years ago
• microsoft / AliveInLean
  Formally verified implementation of Alive in Lean
  ☆35Updated last year
• bollu / lz
  A minimal in MLIR dialect along the lines of STG to represent laziness.
  ☆15Updated 2 years ago
• halo-project / halo
  😇 Wholly Adaptive LLVM Optimizer
  ☆26Updated 4 years ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆85Updated 2 years ago
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆21Updated 2 years ago
• GaloisInc / semmc
  Stratified synthesis for learning machine code instruction semantics
  ☆35Updated 3 months ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated last year
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆71Updated last year