All software
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
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
Mahiru
A prototype for a federated, distributed data sharing and processing system.
- Data processing
- Data Sharing
- Policies
- + 1
- C
- Dockerfile
- Makefile
- + 2
MMSODA Toolbox for MATLAB
MATLAB toolbox for global optimization and state estimation of dynamic models using distributed computing.
- Batchfile
- C
- CSS
- + 5
OpenMS
OpenMS is an open-source software C++ library for LC-MS data management and analyses. It offers an infrastructure for rapid development of mass spectrometry related software. OpenMS is free software available under the three clause BSD license and runs under Windows, macOS, and Linux.
- C++
- mass spectrometry
- metabolomics
- + 1
- Batchfile
- C
- C++
- + 14
openPSTD
openPSTD is a Python-based research software that allows efficient and detailed calculation of sound propagation in a 2D built environment. It is especially useful as a reference tool for other developed software on acoustic sound propagation.
- Acoustics
- GPU
- python
- C
- C++
- CMake
- + 3
Plus Toolkit
Toolkit for data acquisition, pre-processing, calibration, and real-time streaming of imaging, position tracking, and other sensor data for medical applications.
- 3D Slicer
- electromagnetic tracking
- image capture
- + 7
- Batchfile
- C
- C++
- + 2
SimVascular
The only fully open source software package providing a complete pipeline from medical image data segmentation to patient specific blood flow simulation and analysis.
- Cardiovascular
- Fluid mechanics
- Medical image computing
- + 1
- Batchfile
- C
- C++
- + 9
ACPV-Net
Source code for “ACPV-Net: All-Class Polygonal Vectorization for Seamless Vector Map Generation from Aerial Imagery”
- ACPV-Net
- aerial imagery
- all-class polygonal vectorization
- + 4
- C
- C++
- Markdown
- + 3
AmpliDiff
Code underlying the publication: "AmpliDiff: An Optimized Amplicon Sequencing Approach to Estimating Lineage Abundances in Viral Metagenomes"
- Abundance Estimation
- Amplicon Sequencing
- Primer Design
- + 1
- C
- Markdown
- Other
- + 3