All software

1Filter
Keywords
192
Program languages
76
Licenses
20
49-55 of 55
Logo for SampleDB

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
8
0
Logo for Sensor Management System

Sensor Management System

The Sensor Management System (SMS) allows the comprehensive acquisition, administration and export of meta data of platforms, sensors and measurement configurations by stations and campaigns operated in the Helmholtz research field Earth & Environment.

  • catalogue
  • data managment
  • Earth & Environment
  • + 4
  • Python
  • TypeScript
  • Vue
  • + 2
21
0
Logo for spirit

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
15
0
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
  • + 9
0
0
Logo for TERENO-DOI

TERENO-DOI

A web-based application for creating, publishing, and managing digital object identifiers (DOIs) especially for publications within the TERENO initiative.

  • catalogue
  • data managment
  • Data Publications
  • + 9
  • Vue
  • JavaScript
  • HTML
  • + 1
4
0
Logo for TRIDEC Cloud

TRIDEC Cloud

TRIDEC Cloud serves functionality to handle and share threat specific information. It integrates services for obtaining event related geo-data, e.g. of earthquakes, for automated computations, e.g. of tsunami propagations, for mapping, summarizing, and communicating hazard specific data.

  • early warning
  • Earth & Environment
  • GPU
  • + 6
  • Python
  • Vue
  • Shell
  • + 6
0
0

Watts

WaTTS allows using any legacy service with federated identities, such as eduGain or google.

  • AAI
  • OIDC
  • Token Translation
  • Erlang
  • HTML
  • Elm
  • + 6
2
0