{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:cargo/nonempty","name":"nonempty","description":"Correct by construction non-empty vector","version":"0.12.0","softwareVersion":"0.12.0","license":"https://spdx.org/licenses/MIT","codeRepository":"https://github.com/cloudhead/nonempty","issueTracker":"https://github.com/cloudhead/nonempty/issues","programmingLanguage":{"@type":"ComputerLanguage","name":"Rust"},"maintainer":[{"@type":"Person","name":"FintanH","url":"https://github.com/FintanH"},{"@type":"Person","name":"cloudhead","url":"https://github.com/cloudhead"}],"author":[{"@type":"Person","name":"FintanH","url":"https://github.com/FintanH"},{"@type":"Person","name":"cloudhead","url":"https://github.com/cloudhead"}],"copyrightHolder":[{"@type":"Person","name":"FintanH","url":"https://github.com/FintanH"},{"@type":"Person","name":"cloudhead","url":"https://github.com/cloudhead"}],"dateCreated":"2019-11-07","dateModified":"2025-07-19","datePublished":"2025-07-19","copyrightYear":2019,"downloadUrl":"https://static.crates.io/crates/nonempty/nonempty-0.12.0.crate","softwareHelp":{"@type":"WebSite","url":"https://docs.rs/nonempty/"},"applicationCategory":"cargo","runtimePlatform":"cargo","developmentStatus":"active","sameAs":["https://crates.io/crates/nonempty/"],"https://www.w3.org/ns/activitystreams#likes":74,"https://forgefed.org/ns#forks":30}