All software
OpenPNM
OpenPNM is an open source project aiming to provide porous media researchers with a ready-made framework for performing a wide range of pore network simulations.
- Pore network modeling
- C++
- MAXScript
- Cython
- + 15
openPSTD
openPSTD is a Python-based research software that allows efficient and detailed calculation of sound propagation in a 2D built environment. It is especially useful as a reference tool for other developed software on acoustic sound propagation.
- Acoustics
- GPU
- python
- C++
- C
- GLSL
- + 3
Plus Toolkit
Toolkit for data acquisition, pre-processing, calibration, and real-time streaming of imaging, position tracking, and other sensor data for medical applications.
- 3D Slicer
- electromagnetic tracking
- image capture
- + 7
- C++
- C
- CMake
- + 2
PoreSpy
PoreSpy is a collection of image analysis tools used to extract information from 3D images of porous materials (typically obtained from X-ray tomography).
- image analysis
- porous media
- tomography
- Python
- C
- Shell
- + 2
PowerSensor3
PowerSensor is a low-cost, custom-built device that measures the instantaneous power consumption of GPUs and other devices at a high time resolution.
- GPU
- High performance computing
- C
- C++
- Python
- + 3
SimVascular
The only fully open source software package providing a complete pipeline from medical image data segmentation to patient specific blood flow simulation and analysis.
- Cardiovascular
- Fluid mechanics
- Medical image computing
- + 1
- C++
- Makefile
- Python
- + 9
Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"
Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"
- Correct-by-construction
- Floating-point
- IEEE 754
- + 6
- Other
- C
- JSON
- + 5
Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"
Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"
- Correct-by-construction
- Interactive Theorem Proving
- Maximal End Components
- + 3
- Other
- XML
- JSON
- + 6
Artifact of Knor: reactive synthesis using Oink
Artifact of Knor: reactive synthesis using Oink
- binary decision diagrams
- parity games
- reactive synthesis
- Other
- C
- HTML
- + 15
Artifact to the paper "A Fast and Verified Probabilistic Model Checking Pipeline for Minimal Reachability Probabilities"
Artifact to the paper "A Fast and Verified Probabilistic Model Checking Pipeline for Minimal Reachability Probabilities"
- Correct-by-construction
- Interactive Theorem Proving
- Markov decision process
- + 1
- Other
- C
- C++
- + 4
bounded-private-cycle-detection
Source code underlying the publication: Privacy-Preserving Peer-to-Peer Cycle Detection
- cycle detection
- multi-party computation
- privacy-preserving
- + 1
- C++
- C
- Other
- + 2
Code to test the implementation of linear Bi-level Parent-Child MPC
Code to test the implementation of linear Bi-level Parent-Child MPC
- Hierarchical MPC
- Model predictive control
- Robust optimization
- + 1
- Matlab
- HTML
- Other
- + 4