fault-tree alternatives and similar packages

Based on the "Embedded" category.
Alternatively, view fault-tree alternatives based on common mentions on social networks and blogs.

atom

9.6 0.0 fault-tree VS atom

A DSL for embedded hard realtime applications.
copilot

9.4 0.0 fault-tree VS copilot

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

Developer Ecosystem Survey 2022

Take part in the Developer Ecosystem Survey 2022 by JetBrains and get a chance to win a Macbook, a Nvidia graphics card, or other prizes. We’ll create an infographic full of stats, and you’ll get personalized results so you can compare yourself with other developers.

Promo surveys.jetbrains.com

ecu

8.7 0.0 fault-tree VS ecu

Utilities for automotive ECU development.
improve

8.5 0.0 fault-tree VS 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.
verilog

8.2 0.0 fault-tree VS verilog

A Verilog parser for Haskell.
ion

7.3 0.0 fault-tree VS ion

An Ivory library inspired by Atom
copilot-language

6.7 0.0 fault-tree VS copilot-language

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

5.9 0.0 fault-tree VS atom-msp430

Definitions for using Atom with the MSP430 microcontroller family.
copilot-sbv

5.9 0.0 fault-tree VS copilot-sbv

SBV backend for Copilot.
copilot-core

4.2 0.0 fault-tree VS copilot-core

Intermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.
processor-creative-kit

4.0 0.0 fault-tree VS processor-creative-kit

haskell prrocessor-creative-kit
copilot-libraries

4.0 0.0 fault-tree VS copilot-libraries

Copilot libraries that use the Copilot language
copilot-cbmc

3.4 0.0 fault-tree VS copilot-cbmc

cbmc based tool for verifying copilot programs
copilot-c99

2.8 0.0 fault-tree VS copilot-c99

A C99-backend for Copilot