All software
evidence
doc2vec-based assisted close reading with support for abstract concept-based search and context-based search
- Text analysis & natural language processing
- CSS
- Dockerfile
- Go
- + 5
howfairis
Command line tool to analyze a git repository's compliance with the fair-software.eu recommendations.
- Dockerfile
- HTML
- Python
- + 1
LARA Lab Automation
Open source toolset for lab automation
- laboratory automatization
- CSS
- Dockerfile
- HTML
- + 5
SicHash
A perfect hash function is a function that has no collisions on a given set. SicHash places objects in a cuckoo hash table and then stores the final hash function choice of each object in a retrieval data structure. Using irregular cuckoo hashing, each object has a different number of hash functions
- C++
- TeX
- Shell
- + 2
ToxTempAssistant
LLM-based web-app to assist users in drafting ToxTemp, a template for describing in-vitro toxicity test methods in compliance with GD211.
- metadata
- Dockerfile
- HTML
- JavaScript
- + 4
Climate Rapid Evaluation Framework
Rapid Evaluation Framework for climate simulations
- Big data
- Climate modeling
- CSS
- Dockerfile
- Go Template
- + 6
eOSSR
The eOSSR is the Python library to programmatically manage the ESCAPE OSSR.
- jupyter-notebook
- repository
- research software
- + 2
- Dockerfile
- Python
HIPSTA
The HIPpocampal Shape and Thickness Analysis Toolbox (HIPSTA) present a geometry-based method for the analysis of local hippocampal thickness and curvature and constructs an intrinsic coordinate system (unrolling/flattening) for statistical analysis across multiple participants.
- MRI
- Neuroimaging
- open source
- + 1
- Python
- Dockerfile
iReceptor Gateway
A Distributed Data Management System and Scientific Gateway for Mining Next Generation Sequence Data from Immune Responses.
- immunogenomics
- Immunology
- iReceptor
- Blade
- Dockerfile
- HTML
- + 7
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
TBT-Segmentation
Our tool uses Temporal Behavior Trees (TBT), a novel formalism for monitoring specifications, to segment traces provided as CSVs. Developers input a trace, and the tool analyzes it using a TBT to identify which parts of the software worked and which didn’t, aiding in system analysis and debugging.
- CPS
- Formal Specification
- monitoring
- + 2
- Rust
- Python
- Shell
- + 2
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