Popularity
4.3
Declining
Activity
0.0
Stable
3
5
0
Monthly Downloads: 0
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.
-
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-core
Intermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
Promo
www.influxdata.com

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