Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
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