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
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆38Updated 12 years ago
- A term rewriting system for experimental programming language development.☆48Updated this week
- MimIR is my Intermediate Representation☆89Updated this week
- Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…☆72Updated 4 years ago
- Grammar Zoo☆98Updated 7 years ago
- ☆55Updated last year
- Bottom Up Rewrite Generator☆29Updated 8 years ago
- OCamlPro public development repository for Alt-Ergo☆141Updated 3 months ago
- The Higher-Order Intermediate Representation☆161Updated last week
- autotuning C++, just-in-time!☆52Updated 5 years ago
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆209Updated last year
- J Language Source Code. Livestream links ⬇️☆38Updated 3 years ago
- Effect handlers in C++☆125Updated 2 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆25Updated 2 years ago
- A static verifier for concurrent C programs☆136Updated 5 years ago
- program synthesis is possible☆40Updated 6 years ago
- Parser generator tool with full separation between grammar and target code☆25Updated 9 years ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago
- Cerberus C semantics☆80Updated 3 weeks ago
- hspp: An experimental library to bring Haskell Style Programming to C++.☆170Updated 3 years ago
- Parallel ML compiler☆74Updated 5 years ago
- LALR(1) parser for C++☆80Updated last year
- The LTSmin model checking toolset☆61Updated last year
- A better C/C++ macro extension. Implemented in Clang plugins. Inspired by Rust's macro system☆64Updated 5 years ago
- Online demo without installing at - https://buildit.so/tryit☆186Updated last month
- Standalone ASDL parser for upstream CPython 3.x☆62Updated 7 years ago
- Collection of scripts used for building a complete, standalone Clang/LLVM-based toolchain. See: https://clang.llvm.org/docs/Toolchain.htm…☆19Updated 2 years ago
- A Scannerless GLR parser/parser generater.☆114Updated 2 weeks ago
- A header-only C++ library for writing compiler/interpreter frontends.☆16Updated 2 weeks ago