All software

1Filter

Order by

Keywords

184

Program languages

Licenses

49-58 of 58

RAFCON

RAFCON uses hierarchical state machines, featuring concurrent state execution, to represent robot programs. It ships with a graphical user interface supporting the creation of state machines and contains IDE like debugging mechanisms.

Aeronautics, Space and Transport
collaboration
robotics
+ 2

Python
SCSS
Shell
+ 1

S2Downloader

The S2Downloader allows to download Sentinel-2 L2A data from the cost-free element84 AWS Amazon server. It specifically serves the purpose to download data for user-defined area of interests (AOI). It offers several parameters for filtering the data, can stack the results, mosaic and crop to AOI.

open source
python
Remote sensing
+ 1

Python
Makefile
Shell

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

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

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

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

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