All software
MLAir
MLAir (Machine Learning on Air data) is an environment that simplifies and accelerates the creation of new machine learning (ML) models for the analysis and forecasting of meteorological and air quality time series.
- Python
- Shell
- Jupyter Notebook
- + 2
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
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
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
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
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
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
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