Alternatives and similar repositories for asdl4cpp

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

• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆89Updated this week
• sillycross / PochiVM
  Lightweight framework for easy and efficient code generation
  ☆104Updated last year
• BowenFu / hspp
  hspp: An experimental library to bring Haskell Style Programming to C++.
  ☆170Updated 3 years ago
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆48Updated this week
• smowton / llpe
  ☆55Updated last year
• maciejpirog / cpp-effects
  Effect handlers in C++
  ☆126Updated 2 years ago
• jhjourdan / C11parser
  A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
  ☆209Updated last year
• mshockwave / nacro
  A better C/C++ macro extension. Implemented in Clang plugins. Inspired by Rust's macro system
  ☆64Updated 5 years ago
• huangguiyang / burg
  Bottom Up Rewrite Generator
  ☆29Updated 8 years ago
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆136Updated 5 years ago
• pfalcon / awesome-program-analysis
  Program Analisys and Transformation survey and links (particular focus on SSA)
  ☆171Updated 4 years ago
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆131Updated 2 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆25Updated 2 years ago
• deech / libclang-static-build
  ☆102Updated 3 years ago
• rems-project / cerberus
  Cerberus C semantics
  ☆80Updated 3 weeks 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
• unison-code / unison
  Unison's source code
  ☆110Updated last year
• gabriele-tomassetti / antlr-cpp
  This is the companion repository of the article "Getting started with ANTLR in C++"
  ☆74Updated last year
• llir / grammar
  EBNF grammar of LLVM IR assembly.
  ☆65Updated 3 years ago
• cforall / cforall
  The compiler and standard distribution for the C∀ programming language
  ☆85Updated 3 weeks ago
• PrincetonUniversity / DeepSpecDB
  ☆28Updated 2 months ago
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆18Updated last year
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated this week
• SRI-CSL / filia
  Translate Python and JavaScript into MLIR
  ☆17Updated 3 years ago
• pfalcon / ssabook
  Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …
  ☆150Updated 5 years ago
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆43Updated 4 years ago
• thautwarm / Typed-BNF
  Statically typed BNF with semantic actions; safe parser generator applicable to every programming language.
  ☆63Updated 10 months ago
• OCamlPro / alt-ergo
  OCamlPro public development repository for Alt-Ergo
  ☆141Updated 3 months ago
• SchrodingerZhu / reussir-lang
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆19Updated 10 months ago
• slebok / zoo
  Grammar Zoo
  ☆98Updated 7 years ago