JOSS Papers: verification

Published Papers

published Published about 14 hours ago

pyaudi: A truncated Taylor polynomial algebra toolbox for differentiable intelligence, automatic differentiation, and verified integration applications.

C++ Python

10.21105/joss.09905

published Published 23 days ago

solana-pqzk-fullchain: Full on-chain verification of ZK-STARK proofs and post-quantum signatures on Solana

Rust TypeScript

10.21105/joss.09923

published Published about 1 month ago

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

Python Jupyter Notebook

10.21105/joss.08083

published Published 8 months ago

The Agda standard library: version 2.0

Haskell Agda

@MatthewDaggitt

10.21105/joss.09241

published Published 11 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

10.21105/joss.08255

published Published almost 2 years ago

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

Julia

10.21105/joss.07050

published Published almost 2 years ago

Satisfiability.jl: Satisfiability Modulo Theories in Julia

Julia

10.21105/joss.06757

published Published about 2 years ago

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

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

10.21105/joss.06889

Displaying papers 1 - 10 of 15 in total

← PreviousNext →

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