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
TaxoTagger Webapp
Webapp for DNA barcode identification, powered by semantic searching.
- Fungi
- Machine learning
- semantic search
- + 3
- Python
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 Critical Apparatus Toolbox
A visualization and quality control tool for people preparing a natively digital TEI critical edition.
- TEI
- Visualization
- Web Application
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
test-bitbucket
An entry for testing the connection with a BitBucket repo
TextGridLab
A virtual research environment for the humanities that is optimized for working with TEI-coded resources and covers the entire research process up to publication.
- TEI
- Virtual Research Environment
- XML
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
Tilburg University Coding Café
Materials for Tilburg University's Coding Café
- community
- learning materials
- presentation
- + 3
time.IO
A fully integrated and comprehensive timeseries management system
- data managment
- Earth & Environment
- Time series
- Python
- Shell
- PLpgSQL
- + 2