compiler-explorer / infra
Infrastructure to set up the public Compiler Explorer instances and compilers
☆371Updated this week
Alternatives and similar repositories for infra:
Users that are interested in infra are comparing it to the libraries listed below
- C-Reduce, a C and C++ program reducer☆1,568Updated 10 months ago
- Super-parallel Python port of the C-Reduce☆279Updated 2 weeks ago
- Compiler-neutral Internal Program Representation for C++☆224Updated 2 weeks ago
- Heap Layers: An Extensible Memory Allocation Infrastructure☆394Updated last week
- A clang tool for happy refactoring without source-code gymnastics☆249Updated 5 years ago
- Yet Another Random Program Generator☆504Updated 8 months ago
- Automatic verification of LLVM optimizations☆886Updated 2 weeks ago
- C++ preprocessor☆231Updated last week
- 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…☆470Updated 7 months ago
- ☆301Updated 4 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆317Updated 3 years ago
- ☆280Updated 2 years ago
- x86-64 assembler library☆480Updated 4 years ago
- A superoptimizer for LLVM IR☆2,217Updated 7 months ago
- QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.☆1,038Updated 9 months ago
- constexpr implementation of SHA-2 and SHA-3 family of hashes☆211Updated 3 months ago
- collection of C/C++ programs that try to get compilers to exploit undefined behavior☆179Updated 6 years ago
- Determine programatically C from C++ as well as various versions☆196Updated 3 years ago
- Alive: Automatic LLVM's Instcombine Verifier☆219Updated last year
- Rewrite C++ code to automatically apply `constexpr` where possible☆246Updated 2 years ago
- C++ ABI Summary☆538Updated 4 months ago
- commandline compiler explorer - use https://godbolt.org from your terminal!☆197Updated 4 years ago
- "Replay-based" REPLs for compiled languages.☆311Updated 2 years ago
- Back end side of quick-bench☆178Updated 3 weeks ago
- Templight is a Clang-based tool to profile the time and memory consumption of template instantiations and to perform interactive debuggin…☆750Updated 4 months ago
- Csmith, a random generator of C programs☆1,078Updated last year
- generates .clang-format file from example codebase☆317Updated 4 months ago
- A framework for reusing code in Clang tools☆124Updated last month
- The C++ Iceberg☆55Updated 4 months ago
- HTML version of the current C++ working paper☆462Updated 3 weeks ago