All software
Mallob
Automated Reasoning in HPC and Cloud Environments: Scheduling, Solving, Proving
- automated reasoning
- High performance computing
- job scheduling
- + 2
- C++
- SMT
- Shell
- + 4
swyft
swyft is the official implementation of Truncated Marginal Neural Ratio Estimation, a hyper-efficient, simulation-based inference technique for complex data and expensive simulators.
- Bayesian Inference
- Data Analysis
- Jupyter Notebook
- Python
Fit a double logistic function to a Sentinel-2 vegetation index (VI) time series
Fit a double logistic function to a Sentinel-2 vegetation index (VI) time series
- double logistic function
- local and global functions
- Time Series
- + 1
Imitation learning model and datasets: "A Study of Learning Search Approximation in Mixed Integer Branch and Bound: Node Selection in SCIP"
Imitation learning model and datasets: "A Study of Learning Search Approximation in Mixed Integer Branch and Bound: Node Selection in SCIP"
- branch-and-bound
- imitation learning
- MIP
- + 3
Retrieving multi-temporal max/min temperature of target area into a csv file
Retrieving multi-temporal max/min temperature of target area into a csv file
- csv output
- grid
- minimum and maximum temperature
- + 2
cppTango
Tango Distributed Control System - C++ library TANGO is an object-oriented distributed control system. In TANGO all objects are representations of devices, which can be on the same computer or distributed over a network. Communication between devices can be synchronous, asynchronous or event driven.
- C++
- DCS - Distributed Control System
- SCADA - Supervisory Control and Data Acquisition
- C++
- CMake
- Python
- + 2
pertpy
Pertpy is a Python-based modular framework for the analysis of large-scale single-cell perturbation experiments.
- perturbation
- scverse
- single-cell RNA-seq
- Python
Basic code for simulations of reduced Gilad model
Basic code for simulations of reduced Gilad model
- dynamical systems
- matlab code
- pattern formation
- + 2
mpcrl-greenhouse
Software underlying publication: Reinforcement learning-based model predictive control for greenhouse climate control
- Agriculture
- Greenhouse climate control
- Model predictive control
- + 1
- Markdown
- Other
- Python
AMBER
A real-time pipeline to search for Fast Radio Bursts and other transient radio sources.
- Big data
- GPU
- High performance computing
- + 1
- C++
- CMake
CorC
With CorC, we implemented an IDE to create programs following the Correctness-by-Construction approach. Starting with an abstract specification, CorC supports CbC developers in refining a program by a sequence of refinement steps and in verifying the correctness of these refinements.
- Eclipse
- WebCorC
- Java
- ANTLR
Syndat
Syndat is a python package that provides functionalities for the evaluation and visualization of synthetic data.
- Clinical Data
- data privacy
- Data Quality
- + 3
- Python