Markup source code showing optimizations
☆36Jan 21, 2020Updated 6 years ago
Alternatives and similar repositories for optmark
Users that are interested in optmark are comparing it to the libraries listed below
Sorting:
- gcc plugin to discover optimization passes used during compilation☆20Feb 10, 2021Updated 5 years ago
- ☆22Oct 11, 2017Updated 8 years ago
- A more realistic demo of a buffer overflow cause by -ffast-math☆15Sep 10, 2022Updated 3 years ago
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 6 months ago
- Utilities and eXtensionS (UXS) library is a collection of useful (template) classes and functions developed upon standard C++ library☆11Feb 11, 2026Updated 2 weeks ago
- Stabilizer: Rigorous Performance Evaluation☆27Aug 15, 2023Updated 2 years ago
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated last year
- A blend of the compact and sparse hash table implementations.☆15Aug 20, 2021Updated 4 years ago
- An implementation of common *nix utilities, especially those in POSIX.1-2017.☆13Jan 26, 2026Updated last month
- Instruction decoder microbenchmark suite☆11Oct 31, 2017Updated 8 years ago
- ☆13Sep 30, 2020Updated 5 years ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆26Feb 19, 2020Updated 6 years ago
- TensaLang is a Tensor-first programming language, compiler, and runtime that let you write the Model’s inference engine (e.g. LLMs) and s…☆67Feb 20, 2026Updated last week
- A compiler synthesizer for simple languages.☆15Dec 18, 2018Updated 7 years ago
- This tool set can generate required capabilities for binaries. A system call to capability mapping is used to assign capability to the bi…☆14Oct 26, 2022Updated 3 years ago
- Library with JIT (Just-in-time) compilation support to optimize performance of small and medium matrix multiplication☆14Apr 27, 2021Updated 4 years ago
- Since the main implementation is in trunk, this is open just for occasional WIP and ideas.☆12Jan 21, 2026Updated last month
- A Benchmark Toolkit for Assembly Instructions Using the LLVM JIT☆17Oct 26, 2020Updated 5 years ago
- ☆14Jun 25, 2019Updated 6 years ago
- Bring mdb walkers to gdb, also add other helpful commands.☆34Feb 4, 2025Updated last year
- Declarative MLIR compilers in Python!☆36Oct 9, 2020Updated 5 years ago
- A benchmark for C program verification☆17Feb 22, 2024Updated 2 years ago
- reverse engineering branch predictors☆18Feb 28, 2016Updated 10 years ago
- Minimal PID 1 for initramfs☆19Jan 16, 2025Updated last year
- Formally verified x86-64 decompilation☆44Feb 17, 2026Updated last week
- RLU resizable hash-table☆17Aug 24, 2015Updated 10 years ago
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆24May 7, 2025Updated 9 months ago
- Reference material for libbeauty☆25Aug 6, 2022Updated 3 years ago
- Tool for inferring cache replacement policies with automata learning. Uses LearnLib and Sketch.☆16Apr 21, 2020Updated 5 years ago
- perf-event: a Rust interface to Linux performance monitoring☆21Aug 14, 2025Updated 6 months ago
- The space of memory management research and systems produced by the PLASMA lab (https://plasma-umass.org).☆20Mar 22, 2021Updated 4 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 4 years ago
- Python command-line tool and GDB extension to view and save x86, ARM and objdump assembly files as control-flow graph (CFG) pdf files☆83Apr 1, 2024Updated last year
- Better Code (redux) course and book materials☆24Feb 20, 2026Updated last week
- ☆20Sep 27, 2019Updated 6 years ago
- fast open addressing hash table☆42Nov 8, 2025Updated 3 months ago
- Spatial layout specifications for memory management systems.☆19Sep 2, 2020Updated 5 years ago
- Underconstrained symbolic execution for cryptography verification☆19Mar 26, 2021Updated 4 years ago
- I-cache line packing and branch misprediction measuring tool☆18Dec 1, 2016Updated 9 years ago