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
Teachbook recombiner
Web app to pick chapters from a pre-defined list of TeachBooks and combine them into a new book using the new external table of content entry type
- TypeScript
- JavaScript
- CSS
- + 1
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
the FAIR extension
A web browser extension to evaluate Digital Object FAIRness developed at Maastricht University Library.
- FAIR assessment
- FAIR Digital Objects
- FAIR metrics
- JavaScript
- CSS
- HTML
Tilbot
An open source, open science approach to the design of, and research with conversational agents.
- Text analysis & natural language processing
- Svelte
- JavaScript
- TypeScript
- + 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
Trustchain
Trustchain is a decentralized approach to public key infrastructure designed for application to digital identity. Based on the W3C standards for decentralized identifiers (DID) and verifiable credentials (VC), it enables the creation of chains of trustworthy DIDs between recognizable legal entities.
- Decentralized public key infrastructure
- Digital identity
- Verifiable credentials
- Rust
- CSS
- HTML
- + 1
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
TUSTEP
TUSTEP (Tubingen System of Text Processing Tools) is a free, open source, widely-used toolbox for text processing. It is aimed at scholarly audiences, can work with texts in both latin and non-latin scripts, and is primarily designed for humanities applications.
- annotation
- Critical Edition
- open source
- + 2
- Rich Text Format
- HTML
- CSS
- + 1
UFEMISM2.0
The successor of UFEMISM, has all of its features (and more?), but is based on the distributed architecture introduced in minimism.
- Finite volume method
- ice sheet
- MPI
- + 1
- Fortran
- MATLAB
- Python
- + 5
VCEditor
VCEditor is a tool for building and visualizing the physical structure of manuscripts
- Collation
- Web Application
- XSLT
- HTML
- JavaScript
- + 2