All software
RTLola Interpreter
An interpreter for RTLola specifications
- Formal Methods
- Interpreter
- monitoring
- + 1
- Rust
- Python
- Shell
S2Downloader
The S2Downloader allows to download Sentinel-2 L2A data from the cost-free element84 AWS Amazon server. It specifically serves the purpose to download data for user-defined area of interests (AOI). It offers several parameters for filtering the data, can stack the results, mosaic and crop to AOI.
- open source
- python
- Remote sensing
- + 1
- Python
- Makefile
- Shell
SampleDB
SampleDB is a web-based electronic lab notebook with a focus on sample and measurement metadata. With SampleDB, you can track each step in the sample lifecycle and its schema system allows you to define exactly what metadata should be stored for each process, from a simple check box to time series.
- Electronic Lab Notebook
- metadata
- Research Data Management
- Python
- HTML
- JavaScript
- + 3
SERGHEI
The Simulation EnviRonment for Geomorphology, Hydrodynamics and Ecohydrology in Integrated form (SERGHEI) is a multi-dimensional, multi-domain, and multi-physics model framework for environmental and landscape simulation, intended to simulate water flow and transport across landscape scales.
- Earth & Environment
- GPU
- High performance computing
- + 4
- C++
- CMake
- Shell
- + 2
SIMPA - The toolkit for Simulation and Image Processing for Photonics and Acoustics
SIMPA facilitates realistic simulations for optical and acoustic imaging modalities by providing a communication layer between various forward and inverse models. Non-experts can easily create sensible simulations from default parameters and domain experts can set up a highly customisable pipeline.
- acoustic imaging
- open-source
- optical imaging
- + 2
- Python
- MATLAB
- Shell
- + 1
simtools
simtools is a toolkit for simulations of ground-based imaging Cherenkov observatories like the Cherenkov Telescope Array Observatory (CTAO). It allows to set, derive, and manage simulation model parameters describing the observatory and to configure and execute large-scale simulation productions.
- Astroparticle Physics
- Matter
- Monte Carlo simulation
- + 3
- Python
- Shell
SMASH - A hadronic transport approach
SMASH is a relativistic hadronic transport approach for the dynamical description of heavy-ion reactions. It is a microscopic non-equilibrium approach and incorporates all well known hadronic states and their interactions.
- CPU
- Matter
- open source
- + 1
- C++
- CMake
- Shell
- + 3
spirit
Spirit is a platform-independent framework for atomistic spin-dynamics. It combines the traditional cluster workflow through a C-API with python bindings with modern visualisation capabilities in order to maximise scientists' productivity.
- Atomistic Spin Dynamics
- C++
- CUDA
- + 5
- C++
- Python
- CMake
- + 9
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
- + 10
time.IO
A fully integrated and comprehensive timeseries management system
- data managment
- Earth & Environment
- Time series
- Python
- Shell
- PLpgSQL
- + 2
TiXI
TiXI is a fast and simple XML interface library and could be used from applications written in C, C++, Fortran, JAVA and Python.
- xml
- C++
- C
- Python
- + 6
Tomato Tools
The Tomato Tools are a collection of graphical user interface applications related to the Acquisition, Curation and Management Workflow of marine image data. The tools can be used as standalone applications or, using the Tomato Launcher, in conjunction to form whole workflows.
- C++
- data managment
- FAIR Data
- + 2
- C++
- CMake
- Batchfile
- + 1