All software
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
- 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
ehrapy
ehrapy is a modular open-source Python framework designed for exploratory end-to-end analysis of heterogeneous epidemiology and electronic health record data.
- Data analysis
- open source
- python
- Python
ELECTRODE
ELECTRODE extends the atomistic simulation tool LAMMPS to model different types of electrochemical situations. Simulations are performed at constant potential or constant charge using different approaches to control potential or charge at the electrodes.
- Constant Potential Method
- Electrochemistry
- Molecular Dynamics
- C++
- Tcl
- C
- + 26
ETHOS.PeNALPS
ETHOS.PeNALPS (Petri Net Agent based Load Profile Simulator) is a Python library for the simulation of load profiles of plants of industrial manufacturing processes. Load profiles are energy demand time series.
- Energy System Analysis
- ESD
- ESD - Topic 1
- + 4
- Python
- Jupyter Notebook
- TeX