A benchmark game for guessing the hottest point of a program
☆17Feb 24, 2026Updated last month
Alternatives and similar repositories for hydra
Users that are interested in hydra are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆17Aug 6, 2025Updated 7 months ago
- A set of tools to extract library signature of binary programs at runtime.☆28Jan 21, 2026Updated 2 months ago
- Automatic conversion of call by value into call by need in the LLVM IR.☆61Oct 15, 2023Updated 2 years ago
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…☆11Aug 1, 2025Updated 7 months ago
- System to recognize infinite languages and react to string events☆25Dec 10, 2023Updated 2 years ago
- A dynamic control flow graph (CFG) reconstruction plugin for valgrind.☆130Jan 21, 2026Updated 2 months ago
- Collection of executable benchmarks☆45Dec 1, 2023Updated 2 years ago
- Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.☆23Jul 7, 2023Updated 2 years ago
- A tool to eliminate timing-based side channels☆50Dec 28, 2022Updated 3 years ago
- LLVM test suite benchmarks (260 benchmarks - 36 test suites)☆20Feb 2, 2022Updated 4 years ago
- A tool for synthesizing Verilog programs☆112Aug 25, 2025Updated 7 months ago
- ☆12Nov 10, 2025Updated 4 months ago
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆20Oct 19, 2025Updated 5 months ago
- ☆15Feb 27, 2019Updated 7 years ago
- The implementation of my undergraduate thesis: "Bleach: A programming language aimed for teaching Compilers."☆35Dec 8, 2024Updated last year
- ☆27Mar 29, 2025Updated 11 months ago
- code to generate Bad Apple music video on spectrogram in python☆11Jun 21, 2024Updated last year
- A domain specific language to define access policies.☆14Dec 1, 2021Updated 4 years ago
- Minimal header-only C++11 argument parser library for simple command line tools.☆25Feb 2, 2025Updated last year
- 🛡️ Open-source binary protection toolkit for Windows PE. Nanomite, VM protection, anti-debug, and more.☆58Feb 8, 2026Updated last month
- Apply ROP protection to a binary using binary rewriting with GTIRB☆34Jul 1, 2025Updated 8 months ago
- Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings☆102Feb 11, 2026Updated last month
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- IIT Madras OpenMP (IMOP) compiler framework is an open-source, source-to-source, OpenMP-aware compiler for OpenMP (and serial) C programs…☆26Oct 9, 2024Updated last year
- render latex in nvim with kitty and hologram☆37Mar 14, 2023Updated 3 years ago
- Repository used for my master's thesis on implementing RVSDG as a dialect of MLIR☆13May 30, 2023Updated 2 years ago
- ☆43Feb 20, 2016Updated 10 years ago
- Sample code for 3rd party developers working on Android On Snapdragon☆12Sep 4, 2024Updated last year
- A graph-based static-dynamic hybrid DEX code analysis tool☆41Apr 29, 2018Updated 7 years ago
- Minimal examples of crates useful for compiler development☆25Feb 2, 2026Updated last month
- tutorials about polyhedral compilation.☆61Feb 9, 2026Updated last month
- A pure Go implementation of the Windows Packet Filter NDISAPI library☆25Aug 20, 2025Updated 7 months ago
- ☆10Jul 1, 2023Updated 2 years ago
- Simple Application Sandboxing☆23Aug 9, 2024Updated last year
- Palo Alto Networks AI Runtime Security Model Context Protocol (MCP) Relay Server☆32Jan 27, 2026Updated last month
- Eris is an open source 16 bit retrocomputer design which can be built cheaply and easily☆12Oct 4, 2021Updated 4 years ago
- Simple reverse ICMP shell☆14Apr 30, 2024Updated last year
- Static range analysis for the LLVM compiler infrastructure.☆56Oct 8, 2019Updated 6 years ago
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated last year