PIRA - Automatic Instrumentation Refinement
☆16Mar 28, 2024Updated last year
Alternatives and similar repositories for PIRA
Users that are interested in PIRA are comparing it to the libraries listed below
Sorting:
- MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.☆50Feb 17, 2026Updated last week
- A Symbolic Emulator for Shuffle Synthesis on the NVIDIA PTX Code☆15Mar 19, 2023Updated 2 years ago
- A little library giving you a live monitoring of MPI programs.☆25Oct 23, 2022Updated 3 years ago
- LLVM-based type and memory allocation tracking sanitizer☆56Feb 17, 2026Updated last week
- ☆14Apr 4, 2024Updated last year
- System for verifying the correctness of generated Copilot programs☆17May 8, 2025Updated 9 months ago
- Python Loop Replacement with NumPy and PyTorch - Fancy Slicing, UFuncs and equivalent, Aggregations, Sorting and more☆16Sep 24, 2024Updated last year
- DXT Explorer is an interactive web-based log analysis tool for Darshan DXT logs.☆17Feb 19, 2026Updated last week
- RISC-V vector extension ISA simulation☆16Jun 11, 2019Updated 6 years ago
- CaPI: Compiler-assisted Performance Instrumentation☆18Updated this week
- Semi-Lagrangian Library☆16Oct 23, 2023Updated 2 years ago
- Interactive Parallelization Tool☆16Oct 18, 2023Updated 2 years ago
- A benchmark suite for measuring HDF5 performance.☆43Dec 10, 2025Updated 2 months ago
- Fortran bindings to the C++ Standard Library.☆34Apr 7, 2025Updated 10 months ago
- A series of high-performance GEMM (General Matrix Multiply) implementations Iteratively optimised for H100 GPUs in Pure CUDA.☆70Feb 18, 2026Updated last week
- Materials to teach terminal fundamentals for HPC users☆19Aug 18, 2021Updated 4 years ago
- A GPU benchmark suite for autotuners☆19Feb 20, 2024Updated 2 years ago
- ☆18Jan 6, 2026Updated last month
- dotfiles☆19Dec 27, 2024Updated last year
- A security-oriented static binary analysis tool for comparing the quantity and quality of code reuse gadget sets in program variants.☆17Oct 13, 2023Updated 2 years ago
- a library to characterize the data and check the compression results of lossy compressors☆19Aug 31, 2025Updated 6 months ago
- OpenMP vs Offload☆23Jun 2, 2023Updated 2 years ago
- Apollo: Online Machine Learning for Performance Portability☆26Aug 27, 2024Updated last year
- A Flexible and Efficient Proof Checker for SMT Solvers☆27Feb 21, 2026Updated last week
- MPI Fortran type inference☆20Jan 23, 2024Updated 2 years ago
- Performance Prediction Toolkit☆56Sep 13, 2025Updated 5 months ago
- Camera Ready copy of FuzzSlice v1 code for ICSE☆21Jan 22, 2024Updated 2 years ago
- Process Orchestration Framework: A camunda 7 fork☆21Updated this week
- Drishti provides I/O insights to help you improve your application's I/O performance.☆23Feb 18, 2026Updated last week
- Vectorised data model base and helper classes.☆20Updated this week
- COCCL: Compression and precision co-aware collective communication library☆30Mar 16, 2025Updated 11 months ago
- Source code for "BenchPress: A Deep Active Benchmark Generator", PACT 2022☆21Mar 15, 2023Updated 2 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆22Jul 5, 2017Updated 8 years ago
- In Situ Animation of Accelerated Computations☆29Jun 17, 2025Updated 8 months ago
- ☆55Nov 21, 2019Updated 6 years ago
- A high-level Parallel I/O Library for structured grid applications☆22Feb 11, 2026Updated 2 weeks ago
- MPI wrapper generator, for writing PMPI tool libraries☆36Mar 20, 2025Updated 11 months ago
- Visualization tool for analyzing call trees and graphs☆35Mar 15, 2023Updated 2 years ago
- A suite of parallel file system tools designed for performance and scalability☆29May 14, 2024Updated last year