Skip to main content
Ctrl K

All software

90 software items. Page 4 of 8. 12 items per page. 1 filters active.
37-48 of 90

ghc

GHC with stream fusion, used as benchmark in the publication: Higher Order Patterns for Rewrite Rules

  • compiler
  • fusion
  • higher order matching
  • + 2
  • Automake
  • C
  • C++
  • + 16
1
1

NCS_SedimentAnalysis

Code and data underlying the publication: "Subsurface Sediment Properties and Potential Impacts of Marine Sand Extraction on Sand Wave Occurrence on the Netherlands Continental Shelf"

  • Median grain size
  • Mud content
  • Netherlands Continental Shelft
  • + 1
  • Chemical XYZ
  • Matlab
  • Other
  • + 1
4
1

byteparsing

Parser library for reading custom binary files from Python.

  • Big data
  • Multi-scale & multi model simulations
  • Optimized data handling
  • Batchfile
  • C++
  • CSS
  • + 5
2
1

MMSODA Toolbox for MATLAB

MATLAB toolbox for global optimization and state estimation of dynamic models using distributed computing.

  • Batchfile
  • C
  • CSS
  • + 5
3
1

NPLinker

Microbial natural products data mining by integrating genomics and metabolomics data

  • Data processing
  • multi-omics integration
  • Makefile
  • Mustache
  • Python
  • + 2
5
1

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
1
1

SARXarray

An Xarray extension to process coregistered Single Look Complex (SLC) image stacks acquired by Synthetic Aperture Radar (SAR).

  • Dask
  • InSAR
  • Interferometry
  • + 6
  • Python
  • ReScript
  • TeX
4
1

UFEMISM2.0

The successor of UFEMISM, has all of its features (and more?), but is based on the distributed architecture introduced in minimism.

  • Finite volume method
  • ice sheet
  • MPI
  • + 1
  • CMake
  • Fortran
  • HTML
  • + 6
4
1

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
  • JSON
  • Jupyter Notebook
  • Markdown
  • + 5
1
0

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
1
0

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
5
0

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
3
0