All software
Syndat Dashboard
A Dashboard for evaluation & visualization of synthetic patient level data.
- clinical data
- data privacy
- data quality
- + 2
- TypeScript
- Python
- CSS
- + 3
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
T-Pen
T‑PEN is a web-based tool for working with images of manuscripts. Users attach transcription data (new or uploaded) to the actual lines of the original manuscript in a simple, flexible interface.
- Palaeography
- Transcription
- JavaScript
- Java
- CSS
- + 2
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
VCEditor
VCEditor is a tool for building and visualizing the physical structure of manuscripts
- Collation
- Web Application
- XSLT
- HTML
- JavaScript
- + 2
Watts
WaTTS allows using any legacy service with federated identities, such as eduGain or google.
- AAI
- OIDC
- Token Translation
- Erlang
- HTML
- Elm
- + 6