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
- + 11
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
- CSS
- JavaScript
- + 4
TextLab
TextLab enables users to transcribe revisions in manuscript of a work, collate variant print versions, narrate the sequence of revision, display diplomatic and base versions, and generate a corrected, emended, and annotated reading text version as a critical edition of the work.
- Critical Edition
- digital publishing
- HTML
- JavaScript
- CSS
- + 8
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
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
TSMP2
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
- Hydrology
- CMake
- Shell
Typed PID Maker
The Typed PID Maker enables the creation, maintenance, and validation of PIDs. It ensures the PID contains typed, machine-actionable information using validation. This is especially helpful in the context of FAIR Digital Objects (FAIR DOs / FDOs).
- data managment
- FAIR Data
- FAIR Software
- + 2
- Java
- Shell
VCEditor
VCEditor is a tool for building and visualizing the physical structure of manuscripts
- Collation
- Web Application
- XSLT
- HTML
- JavaScript
- + 2
VisColl (Collation Visualization)
VisColl is a system for building models of the physical collation of manuscripts, and then visualizing them in various ways. The core of VisColl is the data model, which defines the structure of individual manuscripts and which can be built and visualized by different tools.
- data visualisation
- Visualization
- XSLT
- HTML
- JavaScript
- + 2