Alternatives and similar repositories for compiler-workflows

Users that are interested in compiler-workflows are comparing it to the libraries listed below

• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 3 years ago
• iczelia / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 3 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated 4 months ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆16Updated 2 years ago
• merryhime / mp
  A small header-only C++17 metaprogramming library
  ☆21Updated 4 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• Albus-Tan / TigerCompiler
  A compiler for Tiger language includes lexical analysis using flexc++, parsing using Bisonc++, type checking, building abstract syntax tr…
  ☆13Updated 2 years ago
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆45Updated this week
• PrincetonUniversity / DeepSpecDB
  ☆27Updated 5 months ago
• shacron / sled
  Sled System Emulator
  ☆28Updated 5 months ago
• capros-os / capros
  CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…
  ☆55Updated 3 years ago
• matthewfl / redmagic
  A meta tracing JIT for x86 and interpreters written in C/C++
  ☆36Updated 8 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• phate / jlm
  ☆70Updated this week
• huangguiyang / burg
  Bottom Up Rewrite Generator
  ☆29Updated 8 years ago
• amshafer / Pinch
  A simple borrow-checked language built using LLVM's MLIR
  ☆27Updated 5 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆14Updated last year
• BR903 / cppp
  A program for automatically resolving #ifdef statements in C code.
  ☆37Updated 10 months ago
• ibara / O
  Peephole optimizer for QBE
  ☆31Updated last month
• Bulat-Ziganshin / magus
  Portable high-level assembler with authentic C syntax
  ☆25Updated 3 years ago
• checkedc / checkedc-fork
  This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.
  ☆27Updated last year
• rurban / libu8ident
  unicode security guidelines for identifiers
  ☆32Updated 9 months ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆75Updated last week
• raviqqe / fmm
  The uncurried minimal functional programming language for CPS transformation
  ☆18Updated last year
• stokito / fortress-lang
  ☆57Updated 8 years ago
• elucent / clover
  Lovable memory-safe systems language with a pretty fast compiler
  ☆13Updated last week
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆16Updated 14 years ago
• iczelia / tau
  a reasonably fast syntax highlighter
  ☆13Updated last month
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆55Updated 4 years ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆15Updated last month