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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- gcc plugin to discover optimization passes used during compilation☆21Feb 10, 2021Updated 5 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆26Oct 22, 2023Updated 2 years ago
- Stabilizer: Rigorous Performance Evaluation☆27Aug 15, 2023Updated 2 years ago
- llvm crash analysis☆43Jun 26, 2024Updated 2 years ago
- Library with JIT (Just-in-time) compilation support to optimize performance of small and medium matrix multiplication☆14Apr 27, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A meta-tracing JIT☆15Updated this week
- Some experiments with SMT solvers and GIMPLE IR☆43Sep 29, 2023Updated 2 years ago
- An unofficial guide to contributing to GCC, aimed at newbies☆128Oct 3, 2024Updated last year
- Clang plugin with several static analysis checks☆28Jul 16, 2025Updated last year
- ☆13Sep 30, 2020Updated 5 years ago
- Lean, static Git build for Linux☆15Apr 10, 2021Updated 5 years ago
- ☆38Jun 12, 2023Updated 3 years ago
- Proof-of-concept tool for checking signal handlers for reentrancy issues.☆21Jun 6, 2020Updated 6 years ago
- ☆13Dec 26, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Python module to help in exploitation of the FILE structure in C☆27Dec 2, 2018Updated 7 years ago
- Library for manipulating gdb in batch mode☆21Updated this week
- I-cache line packing and branch misprediction measuring tool☆18Dec 1, 2016Updated 9 years ago
- ¯\_(ツ)_/¯☆29Dec 16, 2019Updated 6 years ago
- C++ container graph visualization for lldb.☆23Aug 23, 2019Updated 6 years ago
- ☆58Jul 23, 2026Updated 2 weeks ago
- ☆21Nov 3, 2018Updated 7 years ago
- ☆28Jan 27, 2017Updated 9 years ago
- ☆32May 19, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Check various boost headers impact on the compilation time☆13Jul 11, 2021Updated 5 years ago
- ☆85Oct 29, 2023Updated 2 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☆88Apr 1, 2024Updated 2 years ago
- A software tool kit to help identify quickly what's inside your binary files.☆14Dec 9, 2024Updated last year
- ☆13Aug 28, 2018Updated 7 years ago
- https://www.usenix.org/conference/atc20/presentation/boucher☆27Mar 25, 2022Updated 4 years ago
- Tool for generating regression tests☆16Mar 24, 2023Updated 3 years ago
- strace2seccomp - generates libseccomp policies from strace logs☆10Feb 19, 2020Updated 6 years ago
- Yet Another Indent Finder, Almost...☆22Apr 10, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- LFSC Proof Checker☆10Sep 14, 2023Updated 2 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆33Jul 6, 2019Updated 7 years ago
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- introduction to dataflow analysis using julia☆14Oct 26, 2020Updated 5 years ago
- Tool to view heap chunks and memory writes (using pintool)☆43Dec 8, 2018Updated 7 years ago
- Sydr benchmark applications☆17Jul 25, 2022Updated 4 years ago
- Since the main implementation is in trunk, this is open just for occasional WIP and ideas.☆12Jan 21, 2026Updated 6 months ago