All software

1Filter

Order by

Keywords

171

Program languages

Licenses

49-55 of 55

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

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

TSMP

The Terrestrial Systems Modelling Platform (TSMP) is an open source framework implementing a scale-consistent, highly modular, massively parallel regional Earth system model. It represents transport and feedback processes of mass, energy and momentum across geo-ecosystem compartments and scales.

Earth & Environment

Fortran
Shell
C
+ 10

Watts

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

AAI
OIDC
Token Translation

Erlang
HTML
Elm
+ 6