JOSS Papers: verification

All Papers
3936
 Published Papers
3374
 Active Papers
562
published Published 30 days ago

The Agda standard library: version 2.0

Haskell Agda
@MatthewDaggitt
10.21105/joss.09241
published Published 4 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 7 months ago

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

Julia
@rajmadan96
10.21105/joss.08255
published Published over 1 year ago

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

Julia
@goualard-f
10.21105/joss.07050
published Published over 1 year ago

Satisfiability.jl: Satisfiability Modulo Theories in Julia

Julia
@elsoroka
10.21105/joss.06757
published Published over 1 year ago

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

@markblokpoel
10.21105/joss.06049
published Published over 1 year ago

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

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

climpred: Verification of weather and climate forecasts

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

AutoFunc: A Python package for automating and verifying functional modeling

Python
@AlexMikes
10.21105/joss.02362
published Published about 6 years ago

SHARPy: A dynamic aeroelastic simulation toolbox for very flexible aircraft and wind turbines

Python
@fonsocarre
10.21105/joss.01885
Displaying papers 1 - 10 of 12 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