All software
PiGx
PiGx is a collection of genomics pipelines. All pipelines are easily configured with a simple sample sheet and a descriptive settings file. The result is a set of comprehensive, interactive HTML reports with interesting findings about your samples.
- HTML
- Python
- R
- + 7
RAYX
Optical Simulation Software for Synchrotron Radiation
- C++
- open source
- python
- + 4
- C++
- Python
- CSS
- + 8
RO Crate Java
A Java library to create and modify RO-Crates. The aim of this implementation is to not require too deep knowledge of the specification, and avoiding crates which do not fully comply to the specification, at the same time.
- data managment
- FAIR Data
- FAIR Software
- + 3
- Java
- HTML
- FreeMarker
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
scPower
scPower is a statistical framework for design and power analysis of multi-sample single cell transcriptomics experiments. It enables users to identify the optimal experimental parameters for cell type specific inter-individual DE and eQTL analysis using single cell RNA-seq data given a fixed budget.
- Experimental design
- Health
- scRNA-seq
- + 1
- R
- HTML
- CSS
spatial.IO
An integrated cloud-ready geospatial data management system.
- data managment
- Earth & Environment
- geospatial data
- Python
- Vue
- TypeScript
- + 2
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
TERENO-DOI
A web-based application for creating, publishing, and managing digital object identifiers (DOIs) especially for publications within the TERENO initiative.
- catalogue
- data managment
- Data Publications
- + 9
- Vue
- JavaScript
- HTML
- + 1
TRIDEC Cloud
TRIDEC Cloud serves functionality to handle and share threat specific information. It integrates services for obtaining event related geo-data, e.g. of earthquakes, for automated computations, e.g. of tsunami propagations, for mapping, summarizing, and communicating hazard specific data.
- early warning
- Earth & Environment
- GPU
- + 6
- Python
- Vue
- Shell
- + 6
TSMP
The Terrestrial Systems Modelling Platform (TSMP) is an open source framework implementing a scale-consistent, highly modular, massively parallel regional Earth system model. It represents transport and feedback processes of mass, energy and momentum across geo-ecosystem compartments and scales.
- Earth & Environment
- Fortran
- Shell
- C
- + 10
Watts
WaTTS allows using any legacy service with federated identities, such as eduGain or google.
- AAI
- OIDC
- Token Translation
- Erlang
- HTML
- Elm
- + 6