All software
Prospective Monitoring and Management - App (PIA)
PIA is a free open-source eResearch System for monitoring of incident events and provides a digital infrastructure for conducting population-based studies in any research field - at a study centre or at home. PIA focuses on repeated surveys. #DigitalEpidemiology #LongitudinalDataCollection #FOSS
- Data Collection
- Digital Infrastructure
- epidemiology
- + 5
- TypeScript
- HTML
- JavaScript
- + 11
TomoBEAR
TomoBEAR is an open-source configurable and customizable modular pipeline for streamlined and parallelized processing of large-scale cryo-electron tomography data for subtomogram averaging.
- Alignment
- automated reasoning
- cluster
- + 16
- MATLAB
- M
- Python
- + 1
atoMEC
atoMEC is a python-based average-atom code for simulations of high energy density phenomena such as in warm dense matter. It is designed as an open-source and modular python package.
- Matter
- Python
- Shell
microGWAS
microGWAS is a snakemake-powered pipeline to carry out an end-to-end microbial GWAS analysis. Starting from genome assemblies and a phenotype file, microGWAS will run a number of associations using pyseer, annotate the associations results, and generating a number of functional enrichment tests.
- GWAS
- mGWAS
- Pipeline
- + 2
- Python
- Shell
- R
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
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
- + 4
ELECTRODE
ELECTRODE extends the atomistic simulation tool LAMMPS to model different types of electrochemical situations. Simulations are performed at constant potential or constant charge using different approaches to control potential or charge at the electrodes.
- Constant Potential Method
- Electrochemistry
- Molecular Dynamics
- C++
- Tcl
- C
- + 26
LLAMA
LLAMA is a cross-platform C++17/C++20 header-only template library for the abstraction of data layout and memory access. It separates the view of the algorithm on the memory and the real data layout in the background.
- C++
- heterogeneous computing
- High performance computing
- + 3
- C++
- CMake
- Shell
quapps
is a software package containing a collection of exemplary application implementations based on quark.
- Discrete Optimization
- Ising Problem
- Optimization Problem
- + 3
- Python
- Jupyter Notebook
- Shell
ShockHash
A perfect hash function is a function that has no collisions on a given set. ShockHash constructs very compact perfect hash functions significantly faster than previous approaches.
- C++
- CMake
- Shell
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