C/C++ Source-to-Source Tool based on Clang
☆91Aug 10, 2026Updated this 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
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 3 years ago
- A source to source transformation tool for C using clang LibTooling☆11Mar 11, 2019Updated 7 years ago
- CClyzer port to souffle lang☆21Jan 29, 2024Updated 2 years ago
- Automatic parallelizer for C/C++ code☆15Nov 21, 2019Updated 6 years ago
- 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.
- Rocket Chip Generator☆13Jul 31, 2021Updated 5 years ago
- An experimental modular OS written in Rust.☆12Jul 19, 2024Updated 2 years ago
- a boneless 3d object format for asset exchange☆15Jul 10, 2021Updated 5 years ago
- ☆11Jan 3, 2021Updated 5 years ago
- Fast Binary Translator for the Kernel☆28Sep 23, 2013Updated 12 years ago
- This is the repository for the first-order masked Kyber on ARM Cortex-M4☆19Nov 2, 2023Updated 2 years ago
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆37Feb 28, 2020Updated 6 years ago
- Main distribution of Petablox☆35Dec 10, 2017Updated 8 years ago
- Clang-based translator for OP2☆12Jul 17, 2022Updated 4 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.
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆24Jun 20, 2025Updated last year
- [WIP] A tiny RISC-V hypervisor software written in Rust☆27Dec 8, 2020Updated 5 years ago
- The sigarra scraping library no one asked for☆14May 22, 2023Updated 3 years ago
- Experimental MLIR based points-to analysis tool☆18Apr 29, 2026Updated 3 months ago
- "Hawkins" is an open-source, competitive Chess AI powered by multiple tree search algorithms.☆22May 23, 2021Updated 5 years ago
- 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…☆21Aug 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
- AES-128 and DES differential fault analysis☆16Jan 20, 2021Updated 5 years ago
- JoanAudit - A security slicing tool that helps security auditors to perform their security auditing tasks more efficiently☆10Sep 6, 2017Updated 8 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.
- Port of .NET LINQ operators in C++☆10Nov 23, 2017Updated 8 years ago
- Towards Optimal-Space Minimal Perfect Hashing Beyond Brute-Force☆15Mar 31, 2025Updated last year
- Data Dependence Analyzer in the Polyhedral Model☆21Nov 2, 2023Updated 2 years ago
- Console modchip style flexpcb to add a Stemma QT connector on an SOIC-8 EEPROM☆18Mar 24, 2026Updated 4 months ago
- This project provides several implementations for commit untangling and proposes a new representation of git patches by projecting the pa…☆14Jun 28, 2026Updated last month
- CBench, Benchmarking System for Question Answering Over Knowledge Graphs Systems.☆12Sep 16, 2022Updated 3 years ago
- Hust OS labs, including TinyOS labs specially for IOT in 2018 Spring [Get 99/100]☆11May 24, 2018Updated 8 years ago
- Sys, but no longer in Haskell☆20Mar 14, 2022Updated 4 years ago
- ADD extracts features from patches such as repair patterns.☆13Oct 2, 2023Updated 2 years ago
- 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.
- VSCode file templates manager extension☆12Jan 7, 2023Updated 3 years ago
- A transformer-based VS Code extension that enables one to discover vulnerabilities in Java files.☆12Dec 1, 2022Updated 3 years ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Oct 20, 2022Updated 3 years ago
- TSAR (Traits Static AnalyzeR)☆14May 3, 2024Updated 2 years ago
- Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.☆13Jul 11, 2014Updated 12 years ago
- SystemVerilog for Verification A Guide to Learning the Testbench Language Features Third Edition中文翻译☆21Jan 10, 2022Updated 4 years ago
- A repository to test dialects defined dynamically.☆12Jun 20, 2023Updated 3 years ago