{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/ivory-quickcheck","name":"ivory-quickcheck","description":"The Ivory EDSL","version":"0.2.0.5","softwareVersion":"0.2.0.5","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"https://github.com/GaloisInc/ivory","issueTracker":"https://github.com/GaloisInc/ivory/issues","url":"http://ivorylang.org","keywords":["bsd3","library","testing","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"EricMertens"},{"@type":"Person","name":"LeePike"}],"author":[{"@type":"Person","name":"EricMertens"},{"@type":"Person","name":"LeePike"}],"copyrightHolder":[{"@type":"Person","name":"EricMertens"},{"@type":"Person","name":"LeePike"}],"dateCreated":"2014-03-26","dateModified":"2016-12-16","datePublished":"2016-12-16","copyrightYear":2014,"downloadUrl":"https://hackage.haskell.org/package/ivory-quickcheck-0.2.0.5/ivory-quickcheck-0.2.0.5.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/ivory-quickcheck"],"https://www.w3.org/ns/activitystreams#likes":417,"https://forgefed.org/ns#forks":27}