Skip to content

@tudasc Scientific Computing @ TU Darmstadt

All

    Repositories list

    38 repositories

    • CoVer

      Public
      An extensible contracts framework for parallel programming models
      C++
      •
      GNU General Public License v3.0
      •0•3•0•0•Updated Sep 4, 2026Sep 4, 2026

    • MetaCG

      Public
      MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.
      llvmclangcall-graph
      llvmclangcall-graphwhole-program-analysis
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •10•57•8•4•Updated Sep 4, 2026Sep 4, 2026

    • CoVerLang

      Public
      C++
      •0•0•0•0•Updated Aug 6, 2026Aug 6, 2026

    • Artifact-DynamicContractVerification

      Public
      C
      •0•0•0•0•Updated Jul 31, 2026Jul 31, 2026

    • TeaLeaf-SHMEM

      Public
      A C++based implementation of the TeaLeaf heat conduction mini-app, ported to OpenSHMEM. This implementation of TeaLeaf replicates the functionality of the refer…
      C++
      •25•0•0•0•Updated Jul 16, 2026Jul 16, 2026

    • LULESH-SHMEM

      Public
      C++
      •0•0•0•0•Updated Jul 15, 2026Jul 15, 2026

    • TypeART

      Public
      LLVM-based type and memory allocation tracking sanitizer
      llvmmpitype-safety
      llvmmpitype-safetyallocationsanitizerllvm-passmemory-trackingmpi-datatypempi-communication
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •7•57•7•2•Updated Jun 11, 2026Jun 11, 2026

    • CaPI

      Public
      CaPI: Compiler-assisted Performance Instrumentation
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •1•19•1•0•Updated May 26, 2026May 26, 2026

    • mpi-mutation-tool

      Public
      C++
      •
      MIT License
      •0•0•0•0•Updated Apr 29, 2026Apr 29, 2026

    • cage-acg

      Public
      An extension to the cage tool, to track argument flow along call edges
      C++
      •0•0•0•0•Updated Apr 23, 2026Apr 23, 2026

    • selective-tracing-toolchain

      Public
      0•0•0•0•Updated Mar 14, 2026Mar 14, 2026

    • cusan

      Public
      A data race detector for CUDA C and C++ based on ThreadSanitizer
      ccppcuda
      ccppcudadataracethreadsanitizer
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •0•9•1•0•Updated Feb 23, 2026Feb 23, 2026

    • Artifact-FortranContractAnalysis

      Public
      C++
      •0•0•0•0•Updated Feb 18, 2026Feb 18, 2026

    • Alpaca

      Public
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •1•4•0•0•Updated Feb 4, 2026Feb 4, 2026

    • AssertConvert

      Public
      C++
      •0•0•0•0•Updated Nov 24, 2025Nov 24, 2025

    • CUAS-MPI

      Public
      MPI-parallel implementation of confined–unconfined aquifer system
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •1•2•1•0•Updated Aug 28, 2025Aug 28, 2025

    • MPI-precompute

      Public
      C++
      •0•0•0•0•Updated Aug 27, 2025Aug 27, 2025

    • cfdSCOPE

      Public
      A Fluid-Dynamics Proxy App for Teaching Performance Engineering
      C++
      •
      MIT License
      •0•1•0•0•Updated Aug 25, 2025Aug 25, 2025

    • Static-Dynamic-SC-Correctness-2025-Artifact

      Public
      MLIR
      •0•0•0•0•Updated Aug 3, 2025Aug 3, 2025

    • ancor-program-traits

      Public
      C
      •0•0•0•0•Updated Apr 24, 2025Apr 24, 2025

    • MPI-Corrbench

      Public
      A benchmark suite to evaluate MPI correctness tools.
      hpcmpicorrectness
      hpcmpicorrectnessmessage-passing-interface
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •4•10•2•0•Updated Feb 13, 2025Feb 13, 2025

    • cusan-tests

      Public
      A test suite for CUDA-aware MPI race detection
      mpicudadataracebench-cuda
      mpicudadataracebench-cuda
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•1•0•Updated Jan 20, 2025Jan 20, 2025

    • scorep-xray

      Public
      Score-P with support for LLVM XRay instrumentation
      C
      •
      Other
      •1•2•0•0•Updated Oct 28, 2024Oct 28, 2024

    • TaskBasedVOW4SIKE

      Public
      Task-based implementation of the isogeny tree generation in the Meet-in-the-Middle and van Oorschot-Wiener Attack against the Supersingular Isogeny Path Problem
      C
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Oct 6, 2024Oct 6, 2024

    • mpi-arg-usage

      Public
      Python
      •
      GNU General Public License v2.0
      •0•1•0•0•Updated Sep 13, 2024Sep 13, 2024

    • openmp-analysis-data

      Public
      Python
      •0•0•0•0•Updated Jun 18, 2024Jun 18, 2024

    • openmp-analysis

      Public
      Python
      •
      MIT License
      •2•1•0•0•Updated Jun 18, 2024Jun 18, 2024

    • score-p-v6

      Public
      Modified version of the Score-P measurement tool (https://www.vi-hps.org/projects/score-p) used within the PIRA framework
      C
      •
      Other
      •1•1•0•0•Updated Apr 2, 2024Apr 2, 2024

    • PIRA

      Public
      PIRA - Automatic Instrumentation Refinement
      hpcprofilerllvm
      hpcprofilerllvminstrumentationscore-p
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •1•18•2•0•Updated Mar 28, 2024Mar 28, 2024

    • mpi-bench-scoring

      Public
      MPI usage pattern analysis tool chain
      Shell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated Sep 15, 2023Sep 15, 2023
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.