empirical-soft / asdl4cppLinks
Abstract Syntax Definition Language (ASDL) ported to C++
☆13Updated 5 years ago
Alternatives and similar repositories for asdl4cpp
Users that are interested in asdl4cpp are comparing it to the libraries listed below
Sorting:
- Lightweight framework for easy and efficient code generation☆104Updated last year
- ☆102Updated 3 years ago
- MimIR is my Intermediate Representation☆89Updated this week
- ☆55Updated last year
- Unison's source code☆110Updated last year
- Effect handlers in C++☆126Updated 2 years ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago
- Cerberus C semantics☆80Updated 3 weeks ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆25Updated 2 years ago
- Grammar Zoo☆98Updated 7 years ago
- Python bindings for egg☆50Updated 3 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆131Updated 2 years ago
- ☆28Updated 2 months ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆38Updated 12 years ago
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Updated 2 years ago
- Translate Python and JavaScript into MLIR☆17Updated 3 years ago
- Generic model checker for concurrent C programs (mirror repository)☆189Updated 2 months ago
- The Higher-Order Intermediate Representation☆161Updated last week
- The compiler and standard distribution for the C∀ programming language☆85Updated 3 weeks ago
- A term rewriting system for experimental programming language development.☆48Updated this week
- A better C/C++ macro extension. Implemented in Clang plugins. Inspired by Rust's macro system☆64Updated 5 years ago
- 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
- hspp: An experimental library to bring Haskell Style Programming to C++.☆170Updated 3 years ago
- Online demo without installing at - https://buildit.so/tryit☆188Updated last month
- 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
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Updated last year
- Sample of building control flow graph, SSA form, phi nodes, LLVM IR for imagined language.☆26Updated 8 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆33Updated 9 months ago
- Parser for the llvm bitcode format☆60Updated this week
- An LLVM IR dataset for data-driven compiler optimization research☆75Updated this week