All software
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
PaN-Training Catalogue for the Photon & Neutron Community
The PaN Training Catalogue is a fork from the TeSS Training Catalogue (ELIXIR) and was initially developed in our Photon and Neutron (PaN) projects ExPaNDS and PaNOSC.
- catalogue
- e-learning
- metadata
- + 3
- Ruby
- HTML
- JavaScript
- + 5
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
DeBCR
DeBCR is a sparsity-efficient deep learning framework for denoising, deblurring, and deconvolving fluorescence microscopy images. Using the m-rBCR model, it restores structural details and improves resolution. It is available as a Python package and napari plugin for efficient image restoration.
- deblurring
- deconvolution
- Deep Learning
- + 3
- Python
- Jupyter Notebook
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