All software
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
RAYX
Optical Simulation Software for Synchrotron Radiation
- C++
- open source
- python
- + 4
- C++
- Python
- CSS
- + 8
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
2x2, 3x3 and nxn Space-Filling Curves
Implementation of all possible forms of 2x2 and 3x3 space-filling curves, and nxn curves expanded from any specific level-1 units. It also implements the H-curve and the three-dimensional Hilbert curve.
- Data analysis
- Data Visualization
- open source
- R
- C++
- C
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
Artefact for doctoral thesis "Verifying Optimised Parallel Code"
Artefact for doctoral thesis "Verifying Optimised Parallel Code"
- Deductive verification
- formal methods
- GPU
- + 2
- C
- C++
- Markdown
- + 4
Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"
Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"
- Correct-by-construction
- Floating-point
- IEEE 754
- + 6
- C
- C++
- JSON
- + 5