Data

Tools

Indexes

Applications

Experiments

Packages

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

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
Latest Release
0.4.0
over 14 years ago
Versions
29
Downloads
20,765 total
    Loading...
    Readme
    Loading...
    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
    Keywords
    bsd3 embedded formal-methods language library Propose Tags
    Repository
    Stars 57 on GitHub
    Forks 4 on GitHub
    repos.ecosyste.ms
    Rankings on hackage.haskell.org
    Downloads Top 7.4%