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
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
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
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
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
CICMoD - A Climate Index Collection based on Model Data
The software provides a consistent and comprehensive collection of climate indices typically used to describe Earth System dynamics and serves as a new benchmark data set. It allows users to develop new machine learning methods and to compare their results to existing methods in an objective way.
- Earth & Environment
- FAIR Data
- Image processing
- + 1
- Jupyter Notebook
- Python
- Shell
- + 1
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
- JavaScript
- HTML
- + 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
Trimmomatic
Trimmomatic is a command line tool that performs a variety of functions for Illumina paired-end and single-end sequencing data, including sequence trimming and adapter removal. It is a flexible and efficient NGS preprocessing tool, which greatly improves downstream applications.
- Earth & Environment
- Illumina
- NGS
- Java
- Dockerfile
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