{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:cargo/path_semantics_std","name":"path_semantics_std","description":"A Rust type checked implementation of the standard dictionary of path semantics using constrained functions","version":"0.1.0","softwareVersion":"0.1.0","license":"https://spdx.org/licenses/MIT","codeRepository":"https://github.com/advancedresearch/path_semantics_std","issueTracker":"https://github.com/advancedresearch/path_semantics_std/issues","url":"https://github.com/advancedresearch/path_semantics_std","keywords":["path","theorem","proving","semantics","advancedresearch"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Rust"},"maintainer":[{"@type":"Person","name":"bvssvni","url":"https://github.com/bvssvni"}],"author":[{"@type":"Person","name":"bvssvni","url":"https://github.com/bvssvni"}],"copyrightHolder":[{"@type":"Person","name":"bvssvni","url":"https://github.com/bvssvni"}],"dateCreated":"2017-09-22","dateModified":"2017-09-22","datePublished":"2017-09-22","copyrightYear":2017,"downloadUrl":"https://static.crates.io/crates/path_semantics_std/path_semantics_std-0.1.0.crate","softwareHelp":{"@type":"WebSite","url":"https://docs.rs/path_semantics_std/"},"applicationCategory":"cargo","runtimePlatform":"cargo","developmentStatus":"active","sameAs":["https://crates.io/crates/path_semantics_std/"],"funder":[{"@type":"Organization","url":"https://github.com/sponsors/bvssvni"}],"https://www.w3.org/ns/activitystreams#likes":1,"https://forgefed.org/ns#forks":1}