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
Annotorious
OpenSeadragon is a JavaScript library that allows users to annotate images. It is available also as OpenSeadragon plugin.
- annotation
- annotation-tool
- data-annotation-tool
- + 3
- TypeScript
- Svelte
- HTML
- + 2
Apatosaurus
Apatosaurus is a web app for creating, editing, visualizing, and analyzing a digital critical apparatus.
- htmx
- Textual Criticism
- TypeScript
- Svelte
- Python
- + 4
DataFlow
A comprehensive framework for automated data processing and manual postprocessing, including quality control and flagging. Modular and extensible design allows to create customizable pipelines and monitor their performance throughout the data lifecycle.
- data managment
- Data Visualization
- Pipeline
- + 2
- TSX
- Python
- TypeScript
- + 2
Earthquake Explorer
Up-to-date information and essential background knowledge about earthquakes. Users can access, explore, and analyze earthquake data from around the world by the Earthquake Explorer in a mobile optimized modern web platform.
- Earth & Environment
- Information
- python
- Python
- JavaScript
- HTML
- + 2
German Portal for Medical Research Data (FDPG)
The German Portal for Medical Research Data (FDPG) is a central platform enabling researchers to access routine clinical data and biosamples from German university hospitals, supporting secure, standardized, and transparent cross-centre medical research.
- TypeScript
- JavaScript
- Shell
- + 4
IIIF Universal Viewer
A rich, embeddable interface that supports IIIF images, audio, and video, as well as non-IIIF 3D and PDF viewing experiences.
- 3D
- Audio
- IIIF
- + 6
- TypeScript
- Less
- HTML
- + 2
INCEpTION
A semantic annotation platform offering intelligent assistance and knowledge management.
- annotation
- annotation-tool
- entity linking
- Java
- Fluent
- Jupyter Notebook
- + 9
Kiln
Kiln is a multi-platform framework for building and deploying complex websites whose source content is primarily in XML. It brings together various independent software components into an integrated whole that provides the infrastructure and base functionality for such sites.
- digital publishing
- TEI
- XML
- JavaScript
- XSLT
- CSS
- + 9
LEAF-Writer Commons
LEAF-Writer-Commons is part of the LEAF Commons tool suite, a set of web-based, modular, easy-to-use tools supporting text encoding, named entity recognition, web annotation, text analysis and publication without users having to learn markup/coding languages, and support easy movement between tools.
- JavaScript
- TypeScript
- TSX
- + 2
liiiive
Real-time collaborative viewing & annotation for IIIF image collections.
- annotation
- IIIF
- image-annotation
- TypeScript
- PLpgSQL
- Shell
- + 5
Manicule
Manicule is a standalone React/Redux web application for presenting unique printed books and manuscripts in digital facsimile.
- annotation
- digital facsimile
- TypeScript
- CSS
- HTML
- + 1