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
- codemeta.json
purl: pkg:hackage/improve
Keywords:
bsd3
, embedded
, formal-methods
, language
, library
, Propose Tags
License: BSD-3-Clause
Latest release: over 14 years ago
First release: over 15 years ago
Downloads: 20,633 total
Stars: 57 on GitHub
Forks: 4 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 28 days ago