Skip to content
@tudasc

Scientific Computing @ TU Darmstadt

Research software developed at the Institute for Scientific Computing at TU Darmstadt

Pinned Loading

  1. MetaCG MetaCG Public

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

    C++ 57 10

  2. TypeART TypeART Public

    LLVM-based type and memory allocation tracking sanitizer

    C++ 57 7

  3. PIRA PIRA Public

    PIRA - Automatic Instrumentation Refinement

    Python 18 1

  4. MPI-Corrbench MPI-Corrbench Public

    A benchmark suite to evaluate MPI correctness tools.

    C 10 4

  5. CommPart CommPart Public

    Automatic Partitioning of MPI operations in MPI+OpenMP applications

    C++ 4

  6. CaPI CaPI Public

    CaPI: Compiler-assisted Performance Instrumentation

    C++ 19 1

Repositories

Showing 10 of 38 repositories
  • CoVer Public

    An extensible contracts framework for parallel programming models

    tudasc/CoVer's past year of commit activity
    C++ 3 GPL-3.0 0 0 0 Updated Sep 9, 2026
  • MetaCG Public

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

    tudasc/MetaCG's past year of commit activity
    C++ 57 BSD-3-Clause 10 8 4 Updated Sep 4, 2026
  • CoVerLang Public
    tudasc/CoVerLang's past year of commit activity
    C++ 0 0 0 0 Updated Aug 6, 2026
  • tudasc/Artifact-DynamicContractVerification's past year of commit activity
    C 0 0 0 0 Updated Jul 31, 2026
  • TeaLeaf-SHMEM Public Forked from UoB-HPC/TeaLeaf

    A C++based implementation of the TeaLeaf heat conduction mini-app, ported to OpenSHMEM. This implementation of TeaLeaf replicates the functionality of the reference version of TeaLeaf (https://github.com/UK-MAC/TeaLeaf_ref).

    tudasc/TeaLeaf-SHMEM's past year of commit activity
    C++ 0 25 0 0 Updated Jul 16, 2026
  • LULESH-SHMEM Public
    tudasc/LULESH-SHMEM's past year of commit activity
    C++ 0 0 0 0 Updated Jul 15, 2026
  • TypeART Public

    LLVM-based type and memory allocation tracking sanitizer

    tudasc/TypeART's past year of commit activity
    C++ 57 BSD-3-Clause 7 7 2 Updated Jun 11, 2026
  • CaPI Public

    CaPI: Compiler-assisted Performance Instrumentation

    tudasc/CaPI's past year of commit activity
    C++ 19 BSD-3-Clause 1 1 0 Updated May 26, 2026
  • tudasc/mpi-mutation-tool's past year of commit activity
    C++ 0 MIT 0 0 0 Updated Apr 29, 2026
  • cage-acg Public

    An extension to the cage tool, to track argument flow along call edges

    tudasc/cage-acg's past year of commit activity
    C++ 0 0 0 0 Updated Apr 23, 2026

Top languages

Loading…

Most used topics

Loading…