C/C++ Source-to-Source Tool based on Clang
☆91Jun 2, 2026Updated last week
Alternatives and similar repositories for clava
Users that are interested in clava are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tools and APIs to develop weavers for the LARA language (LARA Compiler, LARA Interpreter, Weaver Generator, etc...)☆16Updated this week
- Sticky sticky PCI☆10Oct 25, 2018Updated 7 years ago
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 2 years ago
- A source to source transformation tool for C using clang LibTooling☆11Mar 11, 2019Updated 7 years ago
- For legal reasons this is a joke☆10Jun 7, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A low-level intermediate representation for hardware description languages☆28Jun 28, 2020Updated 5 years ago
- A music shop based on the chinook database example.☆30Mar 20, 2023Updated 3 years ago
- A tool made to help students understand the steps taken by a compiler to transform source code into a final executable.☆12Feb 1, 2026Updated 4 months ago
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆37Feb 28, 2020Updated 6 years ago
- 🔨 Python Module: Sigarra API based on Recursive Web Scraping Parser (wtf)☆21Dec 8, 2022Updated 3 years ago
- Rocket Chip Generator☆13Jul 31, 2021Updated 4 years ago
- AES-128 and DES differential fault analysis☆16Jan 20, 2021Updated 5 years ago
- A repository to test dialects defined dynamically.☆12Jun 20, 2023Updated 2 years ago
- Symbolic execution of LLVM IR☆14Jan 3, 2024Updated 2 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.
- Real-time rendering by a regression function☆11Nov 27, 2018Updated 7 years ago
- a boneless 3d object format for asset exchange☆15Jul 10, 2021Updated 4 years ago
- Decompiler Fuzzing Test with EMI mutation☆16Apr 23, 2020Updated 6 years ago
- Unified modular arceos-hypervisor☆46Apr 8, 2026Updated 2 months ago
- Main distribution of Petablox☆35Dec 10, 2017Updated 8 years ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Mar 11, 2026Updated 3 months ago
- Sorted grep.☆13Mar 26, 2015Updated 11 years ago
- Clang-based translator for OP2☆12Jul 17, 2022Updated 3 years ago
- aarch64 system emulator☆42Apr 27, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Decode machine code into VEX IR and translate into LLVM IR☆28Jun 1, 2019Updated 7 years ago
- WIP Java decompiler☆24Dec 3, 2025Updated 6 months ago
- [WIP] A tiny RISC-V hypervisor software written in Rust☆27Dec 8, 2020Updated 5 years ago
- [BACKEND] A platform for companies to advertise their job opportunities to students☆18Jun 3, 2024Updated 2 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆40Jun 4, 2026Updated last week
- what is the soul of man when soul and body seperates body dies soul lives fear not man which can only destroy the body, but fear him whic…☆22Aug 14, 2013Updated 12 years ago
- Cross Translation Unit analysis capability for Clang Static Analyzer. (Fork of official clang at http://llvm.org/git/clang)☆15Nov 27, 2019Updated 6 years ago
- Embedded Universal DSL: a good DSL for us, by us☆74Updated this week
- Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.☆24Jul 7, 2023Updated 2 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.
- JoanAudit - A security slicing tool that helps security auditors to perform their security auditing tasks more efficiently☆10Sep 6, 2017Updated 8 years ago
- A space-efficient bitmap implementation with inline storage optimization for Rust.☆15Oct 30, 2025Updated 7 months ago
- A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …☆17Jul 24, 2025Updated 10 months ago
- Towards Optimal-Space Minimal Perfect Hashing Beyond Brute-Force☆15Mar 31, 2025Updated last year
- objdump for TempleOS BINaries☆15Nov 11, 2020Updated 5 years ago
- "Hawkins" is an open-source, competitive Chess AI powered by multiple tree search algorithms.☆22May 23, 2021Updated 5 years ago
- Dataset for ML-guided Accelerator Design☆45Nov 18, 2024Updated last year