Ctrl K

Limited functionality: Your browser does not support JavaScript.

All software

0Filters

Order by

Keywords

690

Program languages

114

Licenses

289-300 of 309

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

somesy

Somesy (software metadata sync) is a CLI tool to avoid messy software project metadata by keeping it in sync.

FAIR Software
python

Python

spatial.IO

An integrated cloud-ready geospatial data management system.

data managment
Earth & Environment
geospatial data

Python
Vue
TypeScript
+ 2

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

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