Julia CLI and library for resumable, checksum-verified Zenodo deposits and DOI minting, with sandbox-first publication and Agda-proved journal-state safety properties.
reproducible-research julia sandbox checksum doi open-science agda command-line-tool research-data-management formal-verification data-deposit zenodo research-data data-integrity scientific-publishing research-software artifact-management resumable-uploads doi-minting write-ahead-journal
-
Updated
Nov 6, 2026 - Julia