C/C++ Source-to-Source Tool based on Clang
☆91Jan 24, 2026Updated 3 months ago
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...)☆16May 6, 2026Updated 2 weeks ago
- Sticky sticky PCI☆10Oct 25, 2018Updated 7 years ago
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 2 years ago
- 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Ms Thesis @ FEUP☆38Jul 16, 2024Updated last year
- CClyzer port to souffle lang☆19Jan 29, 2024Updated 2 years ago
- Hypervisor written in Rust for the RISC-V 1.0 hypervisor extension☆16Oct 21, 2024Updated last year
- 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
- Symbolic execution of LLVM IR☆14Jan 3, 2024Updated 2 years ago
- An experimental modular OS written in Rust.☆12Jul 19, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- pure-python C types packer/unpacker☆19Mar 1, 2020Updated 6 years ago
- ☆38Jan 4, 2015Updated 11 years ago
- 🔥 Incêndios em Portugal☆15Jan 12, 2022Updated 4 years ago
- Disassembly viewer for Vim☆10Mar 12, 2018Updated 8 years ago
- a boneless 3d object format for asset exchange☆15Jul 10, 2021Updated 4 years ago
- ☆16Jun 13, 2021Updated 4 years 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 2 months ago
- Sorted grep.☆13Mar 26, 2015Updated 11 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- aarch64 system emulator☆42Apr 27, 2026Updated 3 weeks ago
- Decode machine code into VEX IR and translate into LLVM IR☆28Jun 1, 2019Updated 6 years ago
- WIP Java decompiler☆24Dec 3, 2025Updated 5 months ago
- [WIP] A tiny RISC-V hypervisor software written in Rust☆27Dec 8, 2020Updated 5 years ago
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆23Jun 20, 2025Updated 11 months ago
- Solution of Large and Sparse Systems of Linear Algebraic Equations☆16May 7, 2026Updated 2 weeks ago
- [BACKEND] A platform for companies to advertise their job opportunities to students☆18Jun 3, 2024Updated last year
- A python API for Lattice QCD applications☆10Sep 28, 2020Updated 5 years ago
- The sigarra scraping library no one asked for☆14May 22, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A Python library for easy and fast program transformation/repair☆15Oct 26, 2021Updated 4 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
- Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.☆24Jul 7, 2023Updated 2 years ago
- Artificial Intelligence Course - Summaries, Exams, Minitests and Comic Sans☆22Jun 15, 2018Updated 7 years ago
- Experimental MLIR based points-to analysis tool☆18Apr 29, 2026Updated 3 weeks ago
- Haskell bindings for libNVVM☆20Apr 1, 2014Updated 12 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