improve VS fault-tree

Compare improve vs fault-tree and see what are their differences.

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)
Embedded
Source Code
github.com
Suggest alternative
Edit details

fault-tree

A fault tree analysis library. (by tomahawkins)
Embedded
Source Code
Suggest alternative
Edit details
WorkOS
Our great sponsors
  • WorkOS - The modern identity platform for B2B SaaS
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors
improve fault-tree
- -
56 3
- -
0.0 0.0
over 12 years ago about 13 years ago
Haskell Haskell
BSD 3-clause "New" or "Revised" License BSD 3-clause "New" or "Revised" License
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

improve

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.

fault-tree

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

We haven't tracked posts mentioning fault-tree yet.
Tracking mentions began in Dec 2020.

What are some alternatives?

When comparing improve and fault-tree you can also consider the following projects:

ion - An Ivory library inspired by Atom

processor-creative-kit - haskell prrocessor-creative-kit

verilog - A Verilog parser for Haskell.

copilot - A stream-based runtime-verification framework for generating hard real-time C code.

copilot - A (Haskell DSL) stream language for generating hard real-time C code.

atom-msp430 - Definitions for using Atom with the MSP430 microcontroller family.

atom - A DSL for embedded hard realtime applications.

copilot-libraries - Copilot libraries that use the Copilot language

copilot-language

ecu - Utilities for automotive ECU development.

copilot-cbmc - cbmc based tool for verifying copilot programs

improve vs ion fault-tree vs processor-creative-kit improve vs verilog fault-tree vs ion improve vs copilot fault-tree vs copilot improve vs atom-msp430 fault-tree vs atom improve vs copilot-libraries fault-tree vs copilot-language improve vs ecu fault-tree vs copilot-cbmc