Ctrl K

Limited functionality: Your browser does not support JavaScript.

All software

1Filter

Order by

Keywords

522

Program languages

100

Licenses

217-227 of 227

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

Python
Jupyter Notebook

supervillain

supervillain does Markov-Chain Monte Carlo for modified Villain constructions of quantum field theory.

computational physics
Monte Carlo simulation
Physics
+ 2

Python
TeX
Batchfile
+ 1

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

time.IO

A fully integrated and comprehensive timeseries management system

data managment
Earth & Environment
Time series

Python
PLpgSQL
Shell
+ 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

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

UTILE-Oxy

Automated workflow using deep learning for the analysis of videos containing oxygen bubbles in PEM electrolyzers: 1. preparing annotated dataset and training models to conduct semantic seg- mentation of bubbles and 2. automating the extraction of bubble properties for further distribution analysis.

bubbles
Data analysis
Data Visualization
+ 7

Python
Jupyter Notebook

WRaINfo - An open source library for weather radar information

WRaINfo is a software for real-time weather radar data processing. It is specifically designed for X-band weather radars of FURUNO. The software was developed by Helmholtz Innovation Lab FERN.Lab (GFZ Potsdam) and is distributed under Apache 2.0 license.

attenuation correction
clutter detection
precipitation estimation
+ 4

Python
Makefile
Shell