An extensible contracts framework for parallel programming models

A data race detector for CUDA C and C++ based on ThreadSanitizer

CaPI: Compiler-assisted Performance Instrumentation

LLVM-based type and memory allocation tracking sanitizer

MPI Assertion Checking

The SIMulated ANnealing MOdeler

All implementations presented in the paper "qTESLA: Practical Implementations of a Quantum Attack Resistant Signature Scheme""

Automatic Partitioning of MPI operations in MPI+OpenMP applications

PIRA - Automatic Instrumentation Refinement

MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.

A benchmark suite to evaluate MPI correctness tools.

Magnificent app which corrects your previous console command.

GUI and keyboard friendly window arranger for the budgie and mate desktop

New public mirror, checkout the website. PIRA iteratively filters and expands Score-P instrumentation towards application hot-spots.

🐶 Automated code review tool integrated with any code analysis tools regardless of programming language

Fast gradient evaluation in C++ based on Expression Templates.

An Enhancement Suite for the CMake Build System