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
3D Earthquake Explorer
A web application for the three dimensional visualisation of earthquake hypocentres and their focal mechanisms based on the FDSN API.
- Earth & Environment
- Focal mechanisms
- JavaScript
- Python
- HTML
- + 2
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
PeriHub
PeriHub is a platform that provides a numerical implementation of the peridynamic theory. It is an extension of the open source Peridigm software. Peridynamics is a non-local theory that overcomes discontinuity problems of the classical theory of continuum mechanics.
- Data Visualization
- High performance computing
- Modelling
- + 2
- Python
- Vue
- TypeScript
- + 7
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
RAYX
Optical Simulation Software for Synchrotron Radiation
- C++
- open source
- python
- + 4
- C++
- Python
- CSS
- + 8
SciTS
A tool to benchmark Time-series on different databases.
- Benchmark
- Benchmarking
- database
- + 3
- Jupyter Notebook
- HTML
- C#
- + 2
Alise
The Account LInking SErvice (ALISE) is a tool to link accounts at a service. The goal is to enable federated services at sites that do not yet support federated identities.
- AAI
- Helmholtz AAI
- hpc
- + 3
- Python
- HTML
- Makefile
FAIRCORE4EOSC
FAIRCORE4EOSC: Beta Release Demo (Archive, Reference, Describe, Cite)
- Codemeta Converter
- Codemeta Crosswalk
- Codemeta.json
- + 5
- PHP
- Blade
- CSS
- + 3
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
eCLM
The enCore Community Land Model (eCLM) is based on the Community Land Model version 5, representing land surface processes including hydrology, biogeophysics, biogeochemistry and ecosystem dynamics.
- Biogeochemistry
- Earth System Modelling
- FAIR Software
- + 2
- Fortran
- CMake
- Perl
- + 6
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