{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/spectacle","name":"spectacle","description":"Spectacle is an embedded domain-specific language that provides a family\nof type-level combinators for authoring specifications of program behavior\nalong with a model checker for verifying that user implementations of a\nprogram satisfy written specifications.","version":"1.0.0","softwareVersion":"1.0.0","license":"https://spdx.org/licenses/Apache-2.0","codeRepository":"https://github.com/awakesecurity/spectacle","issueTracker":"https://github.com/awakesecurity/spectacle/issues","url":"https://github.com/awakesecurity/spectacle","keywords":["apache","concurrency","library","testing","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"ParnellSpringmeyer"},{"@type":"Person","name":"rizoid"}],"author":[{"@type":"Person","name":"ParnellSpringmeyer"},{"@type":"Person","name":"rizoid"}],"copyrightHolder":[{"@type":"Person","name":"ParnellSpringmeyer"},{"@type":"Person","name":"rizoid"}],"dateCreated":"2022-02-03","dateModified":"2022-02-03","datePublished":"2022-02-03","copyrightYear":2022,"downloadUrl":"https://hackage.haskell.org/package/spectacle-1.0.0/spectacle-1.0.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/spectacle"],"https://www.w3.org/ns/activitystreams#likes":174,"https://forgefed.org/ns#forks":12}