Popularity
4.0
Growing
Activity
0.0
Stable
3
4
0
Monthly Downloads: 5
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
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.
-
copilot
A (Haskell DSL) stream language for generating hard real-time C code. -
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. -
copilot-language
A Haskell-embedded DSL for monitoring hard real-time distributed systems. -
atom-msp430
Definitions for using Atom with the MSP430 microcontroller family. -
copilot-core
Intermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification. -
copilot-libraries
Copilot libraries that use the Copilot language
Build time-series-based applications quickly and at scale.
InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.
Promo
www.influxdata.com
Do you think we are missing an alternative of fault-tree or a related project?