All software
Rocket
Rocket is a framework for efficient execution of all-pair applications on heterogeneous platforms.
- Big data
- GPU
- High performance computing
- + 1
- C++
- Cuda
- Java
- + 2
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
- Batchfile
- C
- C++
- + 9
SlicerIGT
Software toolkit for rapid development of image-guided therapy systems - for minimally invasive medical procedures, where operators rely on computer-generated images rather than direct sight of the target organs.
- 3D Slicer
- deep learning
- Medical image computing
- + 2
- C++
- CMake
- Python
Umple
Umple allows generation of code in Java, PHP and other languages from a textual representation of UML state machines, associations and other modeling constructs, thus saving coding effort
- Code Generation
- Software Modeling
- State Machines
- + 1
- Batchfile
- C++
- CSS
- + 18
2x2, 3x3 and nxn Space-Filling Curves
Implementation of all possible forms of 2x2 and 3x3 space-filling curves, and nxn curves expanded from any specific level-1 units. It also implements the H-curve and the three-dimensional Hilbert curve.
- Data analysis
- Data Visualization
- open source
- R
- C++
- C
ACPV-Net
Source code for “ACPV-Net: All-Class Polygonal Vectorization for Seamless Vector Map Generation from Aerial Imagery”
- ACPV-Net
- aerial imagery
- all-class polygonal vectorization
- + 4
- C
- C++
- Markdown
- + 3
Artefact for doctoral thesis "Verifying Optimised Parallel Code"
Artefact for doctoral thesis "Verifying Optimised Parallel Code"
- Deductive verification
- formal methods
- GPU
- + 2
- C
- C++
- Markdown
- + 4
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
- C
- 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
- C
- C++
- JSON
- + 6
Artifact of Knor: reactive synthesis using Oink
Artifact of Knor: reactive synthesis using Oink
- binary decision diagrams
- parity games
- reactive synthesis
- Automake
- C
- C++
- + 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
- C
- C++
- JSON
- + 4
ATHENS
ATHENS: Aerodynamic Tracer for High-altitude Environment Numerical Simulations
- Direct Simulation Monte Carlo (DSMC)
- free molecular flow
- gas-surface interaction
- + 2
- C
- C++
- Markdown
- + 3