All software
MMSODA Toolbox for MATLAB
MATLAB toolbox for global optimization and state estimation of dynamic models using distributed computing.
- HTML
- MATLAB
- TeX
- + 5
Open Computational Multiphysics
OpenCMP is a computational multiphysics software package based on the finite element method
- Computational Fluid Dynamics (CFD)
- computational Multiphysics
- diffuse interface method
- + 3
- Python
- TeX
PyChelator
PyChelator is a Python-based Colab and web application for metal chelator calculations, taking into account pH, temperature, and ionic strength. The build-in constants can be used for EGTA and ATP as chelators, together with Calcium and Magnesium as metals. User-defined constants can be used.
- application
- calcium
- chelator
- + 7
- Jupyter Notebook
- JavaScript
- HTML
- + 2
Argon Laser-Plasma Thruster - Design and Test of a Laboratory Model - Processing and Analysis Code
Argon Laser-Plasma Thruster - Design and Test of a Laboratory Model - Processing and Analysis Code
- argon
- laser
- laser-sustained plasma
- + 4
- Other
- TeX
- Jupyter Notebook
- + 5
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
Code underlying the publication: ExEl: Building an Elaborator Using Extensible Constraints
Code underlying the publication: ExEl: Building an Elaborator Using Extensible Constraints
- Dependent Types
- elaboration
- elaborators
- + 3
- TeX
- Haskell
- Other
- + 4
djehuty
Source code of version 25.4 of the 4TU.ResearchData and Nikhef data repository
- 4TU.ResearchData
- Data repository
- Djehuty
- Python
- JavaScript
- HTML
- + 9
GSI_ToolBox
GSI ToolBox underlying the publication: A Wave Scattering Approach to Modelling Surface Roughness in Orbital Aerodynamics
- aerodynamic drag
- gas-surface interaction
- scattering dynamics
- + 1
- HTML
- TeX
- Other
- + 7
Research compendium for FAIR Sharing is Caring poster
Research compendium for FAIR Sharing is Caring poster
- Data Sharing
- FAIR data
- open science
- + 1
- Other
- HTML
- CSS
- + 4
asrlitcompare
A tool written in rmarkdown for assessing the level of agreement between two raters following screening in ASReview. Users only need the two .csv files downloaded from ASReview, and the tool will automatically compile a summary report as an HTML file, viewable in your web browser.
- ASReview
- inter-rater reliability
- literature screening
- + 1
- HTML
- C++
- JavaScript
- + 14