{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/liquid-platform","name":"liquid-platform","description":"Liquid Types For Haskell","version":"0.9.2.8","softwareVersion":"0.9.2.8","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"https://github.com/ucsd-progsys/liquidhaskell","issueTracker":"https://github.com/ucsd-progsys/liquidhaskell/issues","url":"https://github.com/ucsd-progsys/liquidhaskell","keywords":["bsd3","language","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"AndresLoeh"},{"@type":"Person","name":"FacundoDominguez"},{"@type":"Person","name":"AlfredoDiNapoli"},{"@type":"Person","name":"ranjitjhala"},{"@type":"Person","name":"nikivazou"}],"author":[{"@type":"Person","name":"AndresLoeh"},{"@type":"Person","name":"FacundoDominguez"},{"@type":"Person","name":"AlfredoDiNapoli"},{"@type":"Person","name":"ranjitjhala"},{"@type":"Person","name":"nikivazou"}],"copyrightHolder":[{"@type":"Person","name":"AndresLoeh"},{"@type":"Person","name":"FacundoDominguez"},{"@type":"Person","name":"AlfredoDiNapoli"},{"@type":"Person","name":"ranjitjhala"},{"@type":"Person","name":"nikivazou"}],"dateCreated":"2020-07-29","dateModified":"2024-01-29","datePublished":"2024-01-29","copyrightYear":2020,"downloadUrl":"https://hackage.haskell.org/package/liquid-platform-0.9.2.8/liquid-platform-0.9.2.8.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/liquid-platform"],"https://www.w3.org/ns/activitystreams#likes":1335,"https://forgefed.org/ns#forks":165}