Ctrl K

All software

1Filter
Keywords
207
Program languages
77
Licenses
21
49-57 of 57
Logo for OFFA

OFFA

OFFA offers easy to use OpenID Federation Authentication and Authorisation for existing services. OFFA can be deployed along existing services and handle all OpenID Federation communication for your services.

  • OIDC
  • oidfed
  • open source
  • Go
  • CSS
  • Mustache
  • + 3
0
0

react-search-component

All-in-one component for rendering an elastic search UI for searching anything. Built-in support for visualizing related items in a graph and resolving unique identifiers. Initially built for searching Fair-DOs.

  • component
  • data
  • elastic
  • + 14
  • TypeScript
  • CSS
  • MDX
  • + 1
1
0
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
  • Vue
  • TypeScript
  • + 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
  • + 11
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