Ctrl K

All software

1Filter
Keywords
300
Program languages
83
Licenses
27
37-48 of 97
Logo for Album

Album

Album is open-source infrastructure for building executable digital libraries of reusable, discoverable, and reproducible scientific software methods.

  • FAIR Software
  • GUI
  • Interactivity
  • + 5
  • Python
  • Dockerfile
  • Shell
4
6
Logo for nnDetection

nnDetection

nnDetection: A Self-configuring Method for Medical Object Detection

  • 3d-object-detection
  • biomedical image analysis
  • Detection
  • + 3
  • Python
  • Cuda
  • Dockerfile
  • + 3
0
6
Logo for MLAir

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
3
5
Logo for Prospective Monitoring and Management - App (PIA)

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
13
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
0
4

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
1
3
Logo for Tamarin Prover

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
1
3
Logo for TBT-Segmentation

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
6
3
Logo for PaN-Training Catalogue for the Photon & Neutron Community

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
6
3
Logo for Constellation

Constellation

Control and data acquisition system for small-scale experiments and experimental setup with volatile and dynamic constituents such as test beam environments or laboratory test stands

  • DAQ
  • DCS - Distributed Control System
  • Matter
  • + 2
  • C++
  • Python
  • Meson
  • + 2
14
2
Logo for 3D Earthquake Explorer

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
3
1

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
5
1