All software
Data Analytics Software Project - Python bindings
Python RPC wrapper for the data analytics software framework DASF
- Data analysis
- Data Analytics Software Framework (DASF)
- Digital Earth
- + 4
- Python
- Jinja
- BibTeX
- + 1
Emipy
Emipy is a Python package to access, manipulate, analyze and visualize data on various pollutants, which is collected in the European Pollutant Release Register (E-PRTR). Therefore, it enables the easy use of this data for research in different fields (e.g., public health or energy system analysis).
- Data analysis
- Earth & Environment
- Energy
- + 3
- Python
hermes
Implementation of the HERMES workflow to automate software publication with rich metadata.
- FAIR Software
- metadata
- python
- Python
HIPSTA
The HIPpocampal Shape and Thickness Analysis Toolbox (HIPSTA) present a geometry-based method for the analysis of local hippocampal thickness and curvature and constructs an intrinsic coordinate system (unrolling/flattening) for statistical analysis across multiple participants.
- MRI
- Neuroimaging
- open source
- + 1
- Python
- Dockerfile
LinMOG
LinMOG is a collection of tools for the generation of linear models for univariate and multivariate functions. Furthermore, the linear model can be automatically transformed into a MILP optimization formulation.
- Energy
- ESD
- ESD - Topic 2
- + 3
- Python
PIA
The PIA Software is a Python analysis software to derive time series data (Level 1) and temperature spectra (Level 2) of INP concentrations from measurements with the PINE (Portable Ice Nucleation Experiment) instrument.
- Aerosol Research
- Data analysis
- INP
- + 2
- Python
PyAPI-RTS
A Python library to read and manipulate RSCAD® draft files, used for power system modeling and simulation on RTDS simulators.
- Energy
- ESD
- Modelling
- + 1
- Python
supersonic-effects
A Python package to model ozone column changes and radiative effects in response to various aircraft emissions at different altitudes over specific regions. The model combines empirical emission sensitivities to estimate effects of supersonic transport on ozone and radiation.
- aircraft
- Earth & Environment
- Earth System Modelling
- + 4
- Jupyter Notebook
- Python
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
- + 11
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
ULTImodel
A universal transport distribution model written in Python.
- Transport Distribution
- transport modelling
- Python
Constellation
Control and data acquisition system for small-scale experiments and experimental setup with volatile and dynamic constituents such as test beam environments or laboratory test stands
- DAQ
- DCS - Distributed Control System
- Matter
- + 2
- C++
- Python
- Meson
- + 2