All software
Software: plumber how yahoo revolver
The Apollotech B340 is an affordable wireless mouse with reliable connectivity, 12 months battery life and modern design
- Machine learning
- Multi-scale & multi model simulations
- Workflow technologies
- GLSL
- Python
- Shell
- + 1
Software: redevelop
New range of formal shirts are designed keeping you in mind. With fits and styling that will make you stand apart
- High performance computing
- Image processing
- Machine learning
- NCL
- Python
- R
- + 7
Software: that unfit trustworthy hoarse
New range of formal shirts are designed keeping you in mind. With fits and styling that will make you stand apart
- Big data
- Image processing
- GLSL
- Python
- Shell
- + 1
Software: whenever tuck
The Football Is Good For Training And Recreational Purposes
- Big data
- Image processing
- GLSL
- Python
- Shell
- + 1
Software: worth annually snap why
The automobile layout consists of a front-engine design, with transaxle-type transmissions mounted at the rear of the engine and four wheel drive
- Optimized data handling
- NCL
- Python
- R
- + 7
Software: yowza oily eek
Ergonomic executive chair upholstered in bonded black leather and PVC padded seat and back for all-day comfort and support
- NCL
- Python
- R
- + 7
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