Popularity
5.1
Growing
Activity
0.0
Stable
3
6
0
Monthly Downloads: 2
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
Collect and Analyze Billions of Data Points in Real Time
Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.
Promo
www.influxdata.com
Do you think we are missing an alternative of fault-tree or a related project?