Skip to main content
Ctrl K

All software

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

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

ToxTempAssistant

LLM-based web-app to assist users in drafting ToxTemp, a template for describing in-vitro toxicity test methods in compliance with GD211.

  • metadata
  • Dockerfile
  • HTML
  • JavaScript
  • + 4
5
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

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

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

BEWARE

BEWARE Artifact: Code and Datasets for "Robust and Automated Reconfiguration of Byzantine Wide-Area Replication"

  • BFT-SMaRt
  • Byzantine fault tolerance
  • consensus latency
  • + 7
  • Java
  • JSON
  • Markdown
  • + 5
4
0

Code and dataset supporting the publication "STARVESPAM: Mitigating Spam with Local Reputation in Permissionless Blockchains"

Code and dataset supporting the publication "STARVESPAM: Mitigating Spam with Local Reputation in Permissionless Blockchains"

  • Blockchain
  • Decentralized reputation
  • Peer-to-Peer
  • + 2
  • large-text-file
  • Markdown
  • Other
  • + 2
4
0