fault-tree alternatives and related packages

Based on the "Embedded" category

• atom

  9.7 0.0 fault-tree VS atom

  An EDSL for embedded hard realtime applications.

• copilot

  9.4 0.0 fault-tree VS copilot

  A stream DSL for writing embedded C programs.

• improve

  8.5 0.0 fault-tree VS improve

  An imperative, verifiable programming language for high assurance applications.

• ecu

  8.0 0.0 fault-tree VS ecu

  Tools for automotive ECU development.

• verilog

  7.9 0.0 fault-tree VS verilog

  Verilog preprocessor, parser, and AST.

• copilot-language

  6.8 0.0 fault-tree VS copilot-language

  A Haskell-embedded DSL for monitoring hard real-time distributed systems.

• ion

  6.7 0.0 fault-tree VS ion

  EDSL for concurrent, realtime, embedded programming on top of Ivory

• atom-msp430

  6.0 0.0 fault-tree VS atom-msp430

  Convenience functions for using Atom with the MSP430 microcontroller family.

• copilot-sbv

  5.5 0.0 fault-tree VS copilot-sbv

  A compiler for CoPilot targeting SBV.

• copilot-libraries

  5.4 0.0 fault-tree VS copilot-libraries

  Libraries for the Copilot language.

• copilot-core

  4.9 0.0 fault-tree VS copilot-core

  An intermediate representation for Copilot.

• copilot-cbmc

  4.7 0.0 fault-tree VS copilot-cbmc

  Copilot interface to a C model-checker.

• copilot-c99

  3.6 0.0 fault-tree VS copilot-c99

  A compiler for Copilot targeting C99.

• processor-creative-kit

  3.3 0.0 fault-tree VS processor-creative-kit

  a creation kit for instruction sets and cpu simulators and development tools

Do you think we are missing an alternative of fault-tree or a related project?

Add another 'Embedded' Package

fault-tree Recommendations

There are no recommendations yet. Be the first to promote fault-tree!

Have you used fault-tree? Share your experience. Write a short recommendation and fault-tree, you and your project will be promoted on Awesome Haskell.
Recommend fault-tree

Recently added fault-tree resources

Popular Comparisons

• verilog
  vs
  atom
• atom
  vs
  atom-msp430