DFTCalc: A Dynamic Fault Tree calculator for reliability and availability
☆17Nov 7, 2024Updated last year
Alternatives and similar repositories for dftcalc
Users that are interested in dftcalc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Visualization for Dynamic Fault Trees☆16Oct 23, 2025Updated 11 months ago
- The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking…☆12Mar 12, 2025Updated last year
- Developed real time sign language detection flow using sequences; using Integrated mediapipe holistic to be able to extract key points fr…☆16Jul 14, 2022Updated 4 years ago
- Defining requirements formally and checking them when simulating☆15Feb 14, 2025Updated last year
- A library of formal models in the jani-model format.☆14Sep 5, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Free Modelica library for modelling extended hybrid Petri Nets (xHPN)☆13Mar 1, 2026Updated 7 months ago
- A oversampling approach☆11Nov 21, 2018Updated 7 years ago
- Python bindings for carl☆11May 27, 2025Updated last year
- a simple example of fault diagnose with TE(tennessee-eastman) dataset, using PCA☆12Sep 27, 2021Updated 5 years ago
- LabVIEW API for calling muParser fast math parser library (https://beltoforion.de/en/muparser/)☆18Jan 10, 2024Updated 2 years ago
- The Open Reliability Editor (ORE) for dependability modeling and analysis.☆22Jun 10, 2024Updated 2 years ago
- The sciantix-official repository contains the SCIANTIX code for fission gas behaviour, together with the validation database and regressi…☆19Updated this week
- modparc is a Modelica parser in Python based on parser combinator☆14Dec 7, 2024Updated last year
- A curated list of awesome WebVIs☆23Sep 6, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Probabilistic Risk Analysis Tool (fault tree analysis, event tree analysis, etc.)☆166Sep 19, 2023Updated 3 years ago
- Storm for almost everyone☆16Oct 1, 2026Updated 2 weeks ago
- Github Action to deploy conda package to Anaconda repository☆11May 28, 2021Updated 5 years ago
- Nefertiti is a fresh theme for Sphinx v7 or superior, based on Bootstrap 5.3, with customizable fonts, color sets, light and dark support…☆27Oct 7, 2026Updated last week
- Pytorch implementation of Physics Informed Neural Networks and improvements☆14Jan 30, 2023Updated 3 years ago
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆19Aug 3, 2024Updated 2 years ago
- Implementation of a Physics Informed Neural Network (PINN) written in Tensorflow v2, which is capable of solving Partial Differential Equ…☆18Apr 26, 2022Updated 4 years ago
- detailed cad model and simulations of the zpre (zero power reactor experiment), operated by oak ridge national laboratory and sometimes r…☆17Oct 14, 2025Updated last year
- Build FMUs using modern C++☆24Dec 3, 2025Updated 10 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ENDF-6 data interface and nuclear data evaluation assist code☆17Oct 1, 2026Updated 2 weeks ago
- Fault Trees on R☆10Aug 1, 2026Updated 2 months ago
- ☆29Dec 19, 2017Updated 8 years ago
- Generate Qt qrc and rcc from Tango icon set.☆13Jun 5, 2017Updated 9 years ago
- Concurrent decision diagram framework written in Rust☆97Oct 4, 2026Updated last week
- Fast Relaxed Vector Fitting Implementation in C++☆16Apr 17, 2023Updated 3 years ago
- OpenMC wrapped as a Moose App☆16May 1, 2023Updated 3 years ago
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆36Dec 9, 2023Updated 2 years ago
- Buildroot external tree for installing Alpine Linux on weird devices☆12Aug 5, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A simple pam account module to process HBAC rules stored on an IPA server☆10May 14, 2018Updated 8 years ago
- ☆20Mar 26, 2024Updated 2 years ago
- This a rewrite of dep_utils(adep/cdep/ldep) which is provided by John Lakos' book Large-Scale C++ Software Design.☆18Aug 13, 2026Updated 2 months ago
- ☆34Nov 17, 2021Updated 4 years ago
- The code for Principal Component Analysis (PCA), dual PCA, Kernel PCA, Supervised PCA (SPCA), dual SPCA, and Kernel SPCA☆31Nov 18, 2023Updated 2 years ago
- 毕设-设备故障预测系统☆42Jun 17, 2019Updated 7 years ago
- Python scripts for interaction with Modelica☆23Sep 2, 2026Updated last month