ESMValTool

The Earth System Model eValuation Tool is a community diagnostics and performance metrics tool for the evaluation of Earth System Models that allows for routine comparison of models and observations.

Big data
Optimized data handling
Visualization
+ 1

NCL
Python
R
+ 7

395

Kernel Tuner

Kernel Tuner greatly simplifies the development of highly-optimized and auto-tuned CUDA, OpenCL, and C code, supporting many advanced use-cases and optimization strategies that speed up the auto-tuning process.

Big data
GPU
High performance computing
+ 3

Python

117

Citation File Format

The Citation File Format lets you provide citation metadata for software or datasets in plaintext files that are easy to read by both humans and machines.

FAIR
Inter-operability & linked data

Python

Research Software Directory

A content management system for research software, which promotes the visibility, reuse, and impact of research software.

FAIR
Research Software Impact
Software Citation

TypeScript
Java
PLpgSQL
+ 7

DeepRank2

DeepRank2 is an open-source deep learning framework for data mining of protein-protein interfaces or single-residue missense variants. This package is an improved and unified version of three previously developed packages: DeepRank, DeepRank-GNN and DeepRank-Mut.

Cancer vaccine
Convolutional Neural Network
Deep Learning Framework
+ 5

Python
Jupyter Notebook
TeX
+ 1

Browse all Highlights

All software

1Filter

Order by

Keywords

Probabilistic Model Checking

Program languages

Licenses

Items

1-4 of 4

Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"

Correct-by-construction
Gabow
IRF
+ 13

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"

Correct-by-construction
Interactive Theorem Proving
Maximal End Components
+ 3

Other
XML
JSON
+ 6

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

Other
C
C++
+ 4