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.
Ecosystem
hackage.haskell.org
hackage.haskell.org
Latest Release
over 14 years ago
0.4.0
over 14 years ago
Versions
29
29
Downloads
20,765 total
20,765 total
No dependent packages found.
Past Dependents
Include Past Dependents
Check this option to include packages that no longer depend on this package in their latest version but previously did.
Filter
Filter by Kind
Links
| Registry | hackage.haskell.org |
| Source | Repository |
| Homepage | Homepage |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:hackage/improve
spec |
| License | BSD-3-Clause |
| First Release | over 15 years ago |
| Last Synced | 23 days ago |
Repository
| Stars | 57 on GitHub |
| Forks | 4 on GitHub |
Rankings on hackage.haskell.org
Downloads
Top 7.4%