All software
SlicerRT
SlicerRT allows users to analyze spatio-temporal accumulation of the therapeutic dosage (radiation, thermal, etc.). Tools include dose visualization, quantitative metrics computation, comparison, and import/export to DICOM format.
- C
- C++
- CMake
- + 1
Tamarin Prover
The Tamarin Prover is a state-of-the-art tool for the analysis of security protocols, which underpin the security of modern distributed computing.
- Cryptographic Protocols
- Formal Verification
- Information
- Haskell
- Python
- JavaScript
- + 11
ELECTRODE
ELECTRODE extends the atomistic simulation tool LAMMPS to model different types of electrochemical situations. Simulations are performed at constant potential or constant charge using different approaches to control potential or charge at the electrodes.
- Constant Potential Method
- Electrochemistry
- Molecular Dynamics
- C++
- Tcl
- C
- + 26
Independent Parallel Particle Layer (IPPL)
IPPL is a C++ library to develop performance portable code for fully Eulerian, Lagrangian or hybrid Eulerian-Lagrangian methods. IPPL supports simulations in one to six dimensions, mixed precision, and asynchronous execution in different execution spaces (e.g. CPUs and GPUs).
- Computational Fluid Dynamics
- GPU
- High performance computing
- + 5
- C++
- CMake
- Shell
- + 3
mallocMC
This project provides a framework for fast memory managers on many core accelerators. It is based on alpaka to run on many different accelerators and implements the ScatterAlloc algorithm.
- CUDA
- heterogeneous computing
- High performance computing
- + 2
- C++
- CMake
- Cuda
- + 1
SMG2S
SMG2S (Sparse Matrix Generator with Given Spectrum) is able to generate large-scale non-Hermitian and non-Symmetric matrices in parallel with the spectral distribution functions or eigenvalues given by users, and the spectrum of generated matrix is the same as the one specified by the users.
- CPU
- High performance computing
- Matrix Computation
- + 1
- C++
- Python
- CMake
- + 1
ghc
GHC with stream fusion, used as benchmark in the publication: Higher Order Patterns for Rewrite Rules
- compiler
- fusion
- higher order matching
- + 2
- Automake
- C
- C++
- + 16
IntervalMDPAbstractions.jl_ReproducibilityPackage
Data and code underlying the publication: Scalable control synthesis for stochastic systems via structural IMDP abstractions
- embedded systems
- Markov processes
- Stochastic control and optimization
- C
- C++
- HTML
- + 10
Analizo
Analizo is a free, multi-language, extensible source code analysis. It supports the extraction and calculation of a fair number of source code metrics, generation of dependency graphs, and software evolution analysis.
- Software Evolution
- Source Code Metrics
- Static Analysis
- C
- C#
- C++
- + 7
cnpy++
cnpy++ is a C++17 library that allows to read and write NumPy data files (.npy and .npz). It is designed in a way to integrate well into the modern C++ ecosystem and it provides features not available in any similar C++/npy library.
- data managment
- C++
- CMake
- C
KaRRi - Karlsruhe Rapid Ridesharing
KaRRi is a state-of-the-art dispatcher for the dynamic taxi sharing problem with meeting points. KaRRi utilizes highly engineered many-to-many shortest path queries to compute optimal assignments of riders to vehicles and according meeting points within milliseconds.
- algorithm engineering
- algorithms
- Future Mobility
- + 11
- C++
- CMake
- Shell
- + 3
Kernel Launcher
Dynamically compile GPU kernels and launch them easily and safely using C++ magic. Tight integration with Kernel Tuner results in blazing fast CUDA code that is maintainable and performance portable.
- auto-tuning
- CUDA
- GPU
- + 2
- C
- C++
- CMake
- + 3