JOSS Papers: Verification

All Papers
4068
 Published Papers
3631
 Active Papers
437
published Published 14 days ago

Control Strainer (ConStrain): a data-driven control verification framework

Python Jupyter Notebook
@leijerry888
10.21105/joss.08083
published Published 7 months ago

The Agda standard library: version 2.0

Haskell Agda
@MatthewDaggitt
10.21105/joss.09241
published Published 10 months ago

Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0

TypeScript OpenQASM
@comp-phys-marc
10.21105/joss.08696
published Published about 1 year ago

StochasticDominance.jl: A Julia Package for Higher Order Stochastic Dominance

Julia
@rajmadan96
10.21105/joss.08255
published Published almost 2 years ago

MicroFloatingPoints.jl: providing very small IEEE 754-compliant floating-point types

Julia
@goualard-f
10.21105/joss.07050
published Published almost 2 years ago

Satisfiability.jl: Satisfiability Modulo Theories in Julia

Julia
@elsoroka
10.21105/joss.06757
published Published almost 2 years ago

mathlib: A Scala package for readable, verifiable and sustainable simulations of formal theory

@markblokpoel
10.21105/joss.06049
published Published about 2 years ago

scores: A Python package for verifying and evaluating models and predictions with xarray

Python Jupyter Notebook
@tennlee
10.21105/joss.06889
published Published over 5 years ago

climpred: Verification of weather and climate forecasts

Python
@bradyrx
10.21105/joss.02781
published Published over 5 years ago

AutoFunc: A Python package for automating and verifying functional modeling

Python
@AlexMikes
10.21105/joss.02362
Displaying papers 1 - 10 of 13 in total

Journal of Open Source Software is an affiliate of the Open Source Initiative.

Journal of Open Source Software is part of Open Journals, which is a NumFOCUS-sponsored project.

Table of Contents
Public user content licensed CC BY 4.0 unless otherwise specified.
ISSN 2475-9066