xfgusta / cexpl
Command-line tool to interact with Compiler Explorer
☆31Updated 2 years ago
Alternatives and similar repositories for cexpl:
Users that are interested in cexpl are comparing it to the libraries listed below
- Wyrm is a GCC GIMPLE to LLVM IR transpiler☆55Updated last year
- Assembler toolkit: encoding and decoding of various architectures☆28Updated 3 months ago
- Some experiments with SMT solvers and GIMPLE IR☆73Updated this week
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…☆50Updated last week
- Rag-bag of utilities and scripts that do strange things with ELF files☆17Updated 3 weeks ago
- GCC plugin for C language that tracks references to allocated objects☆26Updated last month
- ☆58Updated 2 years ago
- objdump for TempleOS BINaries☆11Updated 4 years ago
- Sled System Emulator☆28Updated last month
- WIP UEFI Display Driver for embedded-graphics☆24Updated 3 years ago
- berlin windowing system -- historical snapshot☆13Updated last year
- A low level preprocessor meta programming library.☆27Updated last year
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆40Updated 7 months ago
- A more realistic demo of a buffer overflow cause by -ffast-math☆11Updated 2 years ago
- Baremetal Embeddable Debugger☆12Updated 3 years ago
- Modeling futexes in TLA+☆21Updated 5 months ago
- yaxdis, a small and naive disassembler using yaxpeax decoders☆33Updated last month
- A Brainfuck interpreter embedded inside DWARF debug information☆37Updated 10 months ago
- Purgeable memory allocations for Linux☆30Updated 5 years ago
- Experimental MLIR Rust compiler☆23Updated last year
- Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.☆51Updated 2 months ago
- Tiny arm64 LZ4 decompressor☆41Updated 2 years ago
- ☆29Updated 2 weeks ago
- A C17 compiler written in Rust☆14Updated last year
- C++ ABI implementation providing low-level support for a standard C++ library (typically libc++)☆42Updated last month
- Markup source code showing optimizations☆36Updated 5 years ago
- This was a fork of Checked C clang used from 2021-2024. The changes have been merged into the original Checked C clang repo, which is now…☆15Updated 6 months ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆10Updated 3 months ago
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated this week