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
dCache
dCache is a system for storing and retrieving huge amounts of scientific data, distributed among a large number of heterogeneous server nodes, under a single virtual filesystem tree with a variety of standard access methods including NFSv4.1 (pNFS), FTP, WebDav and xroot.
- data managment
- FAIR Data
- Java
- HTML
- JavaScript
- + 14
pid-component
The pid-component is an easy to use web component that can be used to display PIDs, DOIs, ORCiDs, RORs, and other identifiers in an intuitive way. It is designed to be embeddable in any website and has a small form-factor mode that reduces its height to that of a single line of text.
- Angular
- Data Visualization
- FAIR
- + 19
- TypeScript
- MDX
- Vue
- + 4
quinex
quinex automates the large-scale extraction of quantitative information from text across many domains using lightweight and open language models
- information extraction
- Large Language Model (LLM)
- Measurement Extraction
- + 4
- Python
- TypeScript
- Shell
- + 3
RAYX
Optical Simulation Software for Synchrotron Radiation
- C++
- open source
- python
- + 4
- C++
- Python
- CSS
- + 8
FAIRCORE4EOSC
FAIRCORE4EOSC: Beta Release Demo (Archive, Reference, Describe, Cite)
- Codemeta Converter
- Codemeta Crosswalk
- Codemeta.json
- + 5
- PHP
- Blade
- CSS
- + 3
Calopy
A web-based, open-source platform for the analysis of indirect calorimetry data, measuring energy metabolism in animals and humans.
- Data analysis
- Data Visualization
- Health
- + 2
- Python
- Dockerfile
- CSS
cupla
cupla is a simple user interface for the platform-independent parallel kernel acceleration library alpaka. It follows a similar concept as the NVIDIA® CUDA® API by providing a software layer to manage accelerator devices. alpaka is used as a backend for cupla.
- C++
- heterogeneous computing
- High performance computing
- + 3
- C++
- CMake
- Shell
- + 5
eGSIM
A Python library and web application to select and test Ground Motion models. Online at: https://egsim.gfz-potsdam.de
- Flatfile
- Geohazards
- Ground motion model
- + 1
- Python
- JavaScript
- HTML
- + 1
FAIR DO MoMEnT
FDO MoMEnT is a Web app that allows the creation of FAIR Digital Objects (FAIR DO). This is done in a modular way by selecting from a list of templates defining metadata available in the resulting FAIR DO.
- fairdigitalobject
- fairdo
- TypeScript
- HTML
- CSS
- + 2
InteractiveVis
The InteractiveVis software framework provides a blueprint for evaluating 3D datasets with convolutional neural networks (CNNs), and for deriving and visualizing CNN relevance maps. This tool was developed and tested for disease detection in MRI scans. We plan to extend it to other domains.
- Data Visualization
- MRI
- open source
- + 1
- Jupyter Notebook
- HTML
- MATLAB
- + 5
JURI
JURI (Jülich Reporting Interface) provides a template-driven fully client-based web framework to visualise data lists and associated data graphs.
- JavaScript
- HTML
- CSS
- + 5