{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/improve","name":"improve","description":"An imperative programming language in Haskell for high assurance embedded applications.  ImProve programs are verified with model checking.  ImProve compiles to C and Simulink.","version":"0.4.0","softwareVersion":"0.4.0","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"https://github.com/tomahawkins/improve","issueTracker":"https://github.com/tomahawkins/improve/issues","url":"http://github.com/tomahawkins/improve/wiki/ImProve","keywords":["bsd3","embedded","formal-methods","language","library","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"TomHawkins"}],"author":[{"@type":"Person","name":"TomHawkins"}],"copyrightHolder":[{"@type":"Person","name":"TomHawkins"}],"dateCreated":"2010-08-06","dateModified":"2011-07-29","datePublished":"2011-07-29","copyrightYear":2010,"downloadUrl":"https://hackage.haskell.org/package/improve-0.4.0/improve-0.4.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/improve"],"https://www.w3.org/ns/activitystreams#likes":56,"https://forgefed.org/ns#forks":4}