Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

Top 7.4% downloads on hackage.haskell.org

hackage.haskell.org : improve

An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checking. ImProve compiles to C and Simulink.

Registry - Source - Homepage - JSON
purl: pkg:hackage/improve
Keywords: bsd3, embedded, formal-methods, language, library
License: BSD-3-Clause
Latest release: almost 13 years ago
First release: almost 14 years ago
Downloads: 19,704 total
Stars: 56 on GitHub
Forks: 4 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 24 days ago

    Loading...
    Readme
    Loading...