compiler-explorer / infraLinks
Infrastructure to set up the public Compiler Explorer instances and compilers
☆376Updated this week
Alternatives and similar repositories for infra
Users that are interested in infra are comparing it to the libraries listed below
Sorting:
- Yet Another Random Program Generator☆514Updated last month
- C-Reduce, a C and C++ program reducer☆1,590Updated last year
- Automatic verification of LLVM optimizations☆918Updated this week
- ☆853Updated this week
- Csmith, a random generator of C programs☆1,092Updated last year
- Heap Layers: An Extensible Memory Allocation Infrastructure☆398Updated last week
- Super-parallel Python port of the C-Reduce☆282Updated 2 months ago
- A clang tool for happy refactoring without source-code gymnastics☆251Updated 5 years ago
- A compiler frontend for the C programming language☆547Updated 3 weeks ago
- Query C++ codebases using SQLite☆187Updated 3 years ago
- ☆281Updated 2 years ago
- LLVM Optimization to extract a function, embedded in its intermediate representation in the binary, and execute it using the LLVM Just-In…☆519Updated 4 years ago
- A collection of out-of-tree Clang plugins for teaching and learning☆736Updated last month
- A new (MLIR based) high-level IR for clang.☆505Updated this week
- STOKE: A stochastic superoptimizer and program synthesizer☆782Updated last year
- x86-64 assembler library☆481Updated 4 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆318Updated 3 years ago
- Convert .ninja_log files to chrome's about:tracing format.☆460Updated last year
- VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choo…☆420Updated 2 months ago
- C++ ABI Summary☆554Updated 6 months ago
- Compiler-neutral Internal Program Representation for C++☆226Updated 3 weeks ago
- Rewrite C++ code to automatically apply `constexpr` where possible☆246Updated 2 years ago
- Compile Time Parser Generator is a C++ single header library which takes a language description as a C++ code and turns it into a LR1 tab…☆473Updated 9 months ago
- HTML version of the current C++ working paper☆466Updated 3 months ago
- Rellic produces goto-free C output from LLVM bitcode☆561Updated last month
- Semantics of C in K☆314Updated 3 years ago
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆656Updated last week
- A superoptimizer for LLVM IR☆2,249Updated 9 months ago
- This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers …☆505Updated 8 months ago
- Embedding x86 assembly code in C++ with metaprogramming using a domain specific language.☆186Updated 9 years ago