All software
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
TEI Publisher
Der TEI Publisher ist eine eXist-db Applikation, die es ermöglicht, TEI-Daten in verschiedene Ausgabeformate zu überführen (z.B. HTML, XSL-FO, LaTeX, Print CSS, ePUB). Dabei kann das Aussehen der einzelnen TEI-Elemente über eine grafische Oberfläche konfiguriert werden.
- TEI
- Typesetting
- XQuery
- HTML
- CSS
- + 4
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
time.IO
A fully integrated and comprehensive timeseries management system
- data managment
- Earth & Environment
- Time series
- Python
- Shell
- PLpgSQL
- + 2
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
Unraphael
Unraphael is a computer vision tool for art history, designed to support the analysis of figure-outline similarities in images to study Renaissance copying practices. Its user-friendly interface lets researchers inspect structural patterns, revealing insights into artistic techniques.
- computational art analysis
- computer vision
- Image preprocessing
- + 3
- Python
- Dockerfile
- CSS
Verticox+
Verticox+ is a Cox proportional hazards algorithm for vertically distributed data. The solution is based on the Verticox algorithm from Dai et al., 2022. It has been adapted to be used within the Vantage6 framework.
- federated learning
- Java
- privacy preservation
- + 3
- Jupyter Notebook
- Python
- Java
- + 4
Virus Seq
The VirusSeq Data Portal is an open-source and open-access data portal for all Canadian SARS-CoV-2 sequences and associated non-personal contextual data. It harmonizes, validates and automates submission to international databases.
- COVID-19
- Data portal
- genomics
- + 1
- TypeScript
- JavaScript
- HTML
- + 2
VoltRon
VoltRon is a spatial omic analysis toolbox for multi-omics integration using spatial image registration. VoltRon is also capable of analyzing multiple types of spatially-aware data modalities.
- Genomics
- spatial omics
- R
- C++
- Dockerfile
- + 2
Watts
WaTTS allows using any legacy service with federated identities, such as eduGain or google.
- AAI
- OIDC
- Token Translation
- Erlang
- HTML
- Elm
- + 6
Xenon Docker images
For your testing needs a collection of Docker images with different file systems and batch schedulers.
- High performance computing
- Workflow technologies
- Shell
- Dockerfile
- Roff
- + 4
Yoda
A system for reliable, long-term storing and archiving large amounts of research data during all stages of a study.
- HTML
- Jinja
- Python
- + 5