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. (by tomahawkins)
Review Embedded
Source Code
github.com
Suggest alternative
Edit details
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Improve Alternatives

Similar projects and alternatives to improve

improve
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better improve alternative or higher similarity.
Suggest an alternative to improve

improve discussion

Log in or Post with

improve reviews and mentions

Posts with mentions or reviews of improve. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning improve yet.
Tracking mentions began in Dec 2020.

Stats

Basic improve repo stats
0
56
0.0
about 13 years ago

tomahawkins/improve is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.

The primary programming language of improve is Haskell.

Popular Comparisons

  1. improve VS verilog
  2. improve VS ion
  3. improve VS copilot
  4. improve VS processor-creative-kit
  5. improve VS fault-tree
  6. improve VS copilot-libraries
  7. improve VS atom-msp430
  8. improve VS copilot-c99
  9. improve VS copilot-cbmc
  10. improve VS ecu

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com