Ctrl K

Limited functionality: Your browser does not support JavaScript.

All software

1Filter

Order by

Keywords

164

Program languages

Licenses

49-60 of 61

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
+ 4

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

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

SMASH - A hadronic transport approach

SMASH is a relativistic hadronic transport approach for the dynamical description of heavy-ion reactions. It is a microscopic non-equilibrium approach and incorporates all well known hadronic states and their interactions.

CPU
Matter
open source
+ 1

C++
CMake
Shell
+ 3

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

stmlab

Simplify complex composite calculations. Launch and runtime environment for software projects developed by the Department of Structural Mechanics at the Institute of Lightweight Structures (DLR).

data managment
Jupyter
python
+ 1

Dockerfile
Python
Jupyter Notebook

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

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

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

time.IO

A fully integrated and comprehensive timeseries management system

data managment
Earth & Environment
Time series

Python
PLpgSQL
Shell
+ 2

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

VoltRon

VoltRon is a spatial omic analysis toolbox for multi-omics integration using spatial image registration. VoltRon is also capable of analyzing multiple types of spatially-aware data modalities.

Genomics
spatial omics

R
C++
Dockerfile
+ 2