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
PaN-Training Catalogue for the Photon & Neutron Community
The PaN Training Catalogue is a fork from the TeSS Training Catalogue (ELIXIR) and was initially developed in our Photon and Neutron (PaN) projects ExPaNDS and PaNOSC.
- catalogue
- e-learning
- metadata
- + 3
- Ruby
- HTML
- JavaScript
- + 5
UQTestFuns
A Python3 library of uncertainty quantification (UQ) test functions
- Benchmark
- python
- Software Testing
- + 1
- Python
- JavaScript
- CSS
- + 2
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
- + 12
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
- Svelte
- TypeScript
- + 8
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
wps-command-line-tool-repository
A wrapper framework around the WPS 4.0 server by 52° North to allow easy integration of command line scripts into WPS services.
- Earth & Environment
- Remote Procedure Calls
- Web Processing Service
- Java
- Scheme
- Python
- + 3
FAIRCORE4EOSC
FAIRCORE4EOSC: Beta Release Demo (Archive, Reference, Describe, Cite)
- Codemeta Converter
- Codemeta Crosswalk
- Codemeta.json
- + 5
- PHP
- Blade
- CSS
- + 3
case-e
case-e is an open-source electronic case report form (eCRF) system for designing clinical studies and collecting structured research data. It supports configurable forms, validation, role-based access, audit trails, versioning, and portable exports for transparent, FAIR-oriented research workflows.
- BIDS
- Biomedical Ontologies
- Clinical Research
- + 9
- Vue
- Python
- JavaScript
- + 4
DeepTrees🌳
Tree Crown Segmentation and Analysis in Remote Sensing Imagery with PyTorch
- Deep Learning
- Earth & Environment
- open source
- + 3
- Jupyter Notebook
- Python
- Shell
- + 1