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)

Improve Alternatives

Similar projects and alternatives to 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.

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
57
0.0
about 11 years ago
Build time-series-based applications quickly and at scale.
InfluxDB is the Time Series Data Platform where developers build real-time applications for analytics, IoT and cloud-native services in less time with less code.
www.influxdata.com