All software
SampleDB
SampleDB is a web-based electronic lab notebook with a focus on sample and measurement metadata. With SampleDB, you can track each step in the sample lifecycle and its schema system allows you to define exactly what metadata should be stored for each process, from a simple check box to time series.
- Electronic Lab Notebook
- metadata
- Research Data Management
- Python
- HTML
- JavaScript
- + 3
scPower
scPower is a statistical framework for design and power analysis of multi-sample single cell transcriptomics experiments. It enables users to identify the optimal experimental parameters for cell type specific inter-individual DE and eQTL analysis using single cell RNA-seq data given a fixed budget.
- Experimental design
- Health
- scRNA-seq
- + 1
- R
- HTML
- CSS
spirit
Spirit is a platform-independent framework for atomistic spin-dynamics. It combines the traditional cluster workflow through a C-API with python bindings with modern visualisation capabilities in order to maximise scientists' productivity.
- Atomistic Spin Dynamics
- C++
- CUDA
- + 5
- C++
- Python
- CMake
- + 9
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
Watts
WaTTS allows using any legacy service with federated identities, such as eduGain or google.
- AAI
- OIDC
- Token Translation
- Erlang
- HTML
- Elm
- + 6