specs-feup / lara-framework
Tools and APIs to develop weavers for the LARA language (LARA Compiler, LARA Interpreter, Weaver Generator, etc...)
☆13Updated 2 weeks ago
Alternatives and similar repositories for lara-framework:
Users that are interested in lara-framework are comparing it to the libraries listed below
- Eclipse Trace Compass☆13Updated this week
- C/C++ Source-to-Source Tool based on Clang☆74Updated 2 weeks ago
- ☆16Updated 5 years ago
- LLFI is an LLVM based fault injection tool, that injects faults into the LLVM IR of the application source code. The faults can be injec…☆69Updated 2 years ago
- HeteroGen: transpiling C to heterogeneous HLS code with automated test generation and program repair (ASPLOS 2022)☆17Updated 3 months ago
- This is java implementation of Graspan.☆20Updated last year
- memTrace, a framework for lightweight memory tracing☆56Updated 5 years ago
- Generate SQL from TableGen code - This is part of the tutorial "How to write a TableGen backend" in 2021 LLVM Developers' Meeting.☆29Updated last year
- TornadoInsight: Unleashing the Power of TornadoVM in IntelliJ IDEA☆12Updated 4 months ago
- CHERI C/C++ Programming Guide☆29Updated last year
- A simulation platform for managed applications based on Maxine VM and ZSim☆27Updated 7 years ago
- Java bindings for LLVM libraries☆8Updated 3 years ago
- The Contech analysis framework provides the means for generating and analyzing task graphs that enable computer architects and programmer…☆52Updated 4 years ago
- DSL for stencils and image processing☆14Updated 8 years ago
- ☆9Updated 2 years ago
- An unofficial copy of MIT's Alloy Analyzer model checking tool.☆20Updated 11 years ago
- AST - Extractor for LLVM☆18Updated 3 years ago
- Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.☆91Updated 9 years ago
- Intel LevelZero JNI library for TornadoVM☆12Updated 4 months ago
- ☆10Updated 3 years ago
- Fork of github.com/Percona-Lab/tpcc-mysql☆9Updated last year
- This is a C++ implementation of Graspan.☆32Updated last year
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 5 years ago
- The Insieme Compiler and Runtime Infrastructure☆33Updated 5 years ago
- A collection of benchmarks and tests for the Patmos processor and compiler☆17Updated last month
- Pintool for logging memory writes☆11Updated 9 years ago
- GPU model checker☆11Updated 5 years ago
- Regular Expressions and Lexing with DFAs☆9Updated 8 months ago
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆13Updated 2 years ago
- Diamond reactive programming platform☆25Updated 2 years ago