All software
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
hermes
Implementation of the HERMES workflow to automate software publication with rich metadata.
- FAIR Software
- metadata
- python
- Python
METABOLATOR
Analysis of Microcalorimetric Metabolic Data Using Monod's Equation.
- curve fitting
- Data Science
- metabolic load
- + 1
- Python
- HTML
- Jupyter Notebook
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
PowerMarketSim
PowerMarketSim is a fundamental model of the European day-ahead market. It links decentralized bidding and market clearing via Lagrangian relaxation and represents cross-zonal constraints through congestion rents, producing realistic price signals and unit schedules.
- Energy
- ESD
- ESD - Topic 2
- + 2
- Python
quapps
is a software package containing a collection of exemplary application implementations based on quark.
- Discrete Optimization
- Ising Problem
- Optimization Problem
- + 3
- Python
- Jupyter Notebook
- Shell
SMG2S
SMG2S (Sparse Matrix Generator with Given Spectrum) is able to generate large-scale non-Hermitian and non-Symmetric matrices in parallel with the spectral distribution functions or eigenvalues given by users, and the spectrum of generated matrix is the same as the one specified by the users.
- CPU
- High performance computing
- Matrix Computation
- + 1
- C++
- Python
- CMake
- + 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
- + 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
Tigramite
Tigramite is a python package for causal inference with a focus on time series data. It allows to efficiently estimate causal graphs from high-dimensional time series datasets (causal discovery) and to use graphs for the estimation and prediction of direct, total, and mediated effects.
- causal inference
- python
- time series analysis
- Jupyter Notebook
- Python
UQTestFuns
A Python3 library of uncertainty quantification (UQ) test functions
- Benchmark
- python
- Software Testing
- + 1
- Python
- TeX