All software
MMSODA Toolbox for MATLAB
MATLAB toolbox for global optimization and state estimation of dynamic models using distributed computing.
- Batchfile
- C
- CSS
- + 5
OpenMS
OpenMS is an open-source software C++ library for LC-MS data management and analyses. It offers an infrastructure for rapid development of mass spectrometry related software. OpenMS is free software available under the three clause BSD license and runs under Windows, macOS, and Linux.
- C++
- mass spectrometry
- metabolomics
- + 1
- Batchfile
- C
- C++
- + 13
PAVICS
PAVICS is a virtual laboratory facilitating the analysis of climate data. It provides access to several data collections ranging from observations, climate projections and reanalyses. It also provides a Python programming environment to analyze this data without the need to download it.
- analysis
- climate
- Climate change
- + 5
- CSS
- HTML
- JavaScript
- + 3
PhenoTips
PhenoTips is a software tool that makes it easy for clinicians and researchers to draw pedigrees and collect structured phenotype data for patients with genetic disorders.
- API
- deep phenotyping
- genogram
- + 6
- Batchfile
- CSS
- HTML
- + 4
SalientDescriptor-matlab
If you need to automate your image matching tasks for the purposes of object detection or photo-identification in an easy way, the SalientDescriptor-matlab is right for you
- Image processing
- HTML
- MATLAB
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
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
- + 19
Workflomics
Web platform for workflow exploration and benchmarking in bioinformatics
- Inter-operability & linked data
- Workflow technologies
- CSS
- HTML
- JavaScript
- + 1
abstraction-mpc-integration
Code for publication: Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization
- Abstraction
- formal methods
- Hybrid Systems
- + 3
- CSS
- HTML
- JavaScript
- + 4
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
Code supporting: MuVieCAST: Multi-View Consistent Artistic Style Transfer
Code supporting: MuVieCAST: Multi-View Consistent Artistic Style Transfer
- 3D reconstruction
- deep learning
- Image processing
- + 1
- CSS
- HTML
- JavaScript
- + 4
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
- C
- HTML
- Markdown
- + 4