Ctrl K

Limited functionality: Your browser does not support JavaScript.

All software

0Filters

Order by

Keywords

699

Program languages

114

Licenses

301-312 of 317

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

Timeseries Management

The Timeseries Management allows to store, visualise, organise and share timeseries data and provides access to a (broad) selection of data from different long-term projects and campaigns (e.g. TERENO, MOSES).

Data analysis
Data Visualization
Earth & Environment
+ 2

TiXI

TiXI is a fast and simple XML interface library and could be used from applications written in C, C++, Fortran, JAVA and Python.

C++
C
Python
+ 7

TREAMS

TREAMS is an open-source program to perform T-matrix-based scattering calculations for nanophotonic systems. It focuses on efficiently solving the interaction in 1D, 2D, and 3D lattices of complex unit cells using quickly convergent lattice sums. It also solves the interaction in finite clusters.

Python
Cython
Makefile

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

TrixiParticles.jl

Particle-based multiphysics simulations in Julia

CFD
Earth & Environment
Information
+ 2

Julia

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

ukis-csmask

UKIS Cloud Shadow MASK (ukis-csmask) package masks clouds and cloud shadows in Sentinel-2, Landsat-9, Landsat-8, Landsat-7 and Landsat-5 images. Masking is performed with a pre-trained convolution neural network. It is fast and works directly on Level-1C data (no atmospheric correction required).

Earth & Environment
Image processing
python
+ 1

Python

UNICORE

UNICORE (UNiform Interface to COmputing REsources) provides tools and services for building federated systems, making high-performance computing and data resources accessible in a seamless and secure way for a wide variety of applications in intranets and the internet.

High performance computing
Information
Supercomputing
+ 1