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.

The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

Promo workos.com

ecu

8.7 0.0 fault-tree VS ecu

Utilities for automotive ECU development.
improve

8.4 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

6.9 0.0 fault-tree VS ion

An Ivory library inspired by Atom
copilot-language

6.6 0.0 fault-tree VS copilot-language

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

6.1 0.0 fault-tree VS atom-msp430

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

5.8 0.0 fault-tree VS copilot-sbv

SBV backend for Copilot.
processor-creative-kit

4.6 0.0 fault-tree VS processor-creative-kit

haskell prrocessor-creative-kit
copilot-core

4.1 0.0 fault-tree VS copilot-core

Intermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.
copilot-libraries

3.9 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