EMF-based Fault-Tree Analysis Tool
☆65Jan 30, 2018Updated 8 years ago
Alternatives and similar repositories for emfta
Users that are interested in emfta are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Ontology Modeling Language (OML) Workbench☆14Mar 12, 2020Updated 6 years ago
- Model and examples for the AADL book. More on http://julien.gunnm.org/aadl-book☆16Jul 9, 2017Updated 9 years ago
- Sirius-based designer for Dart☆48Aug 26, 2015Updated 11 years ago
- Examples and case-study that use OSATE☆60Apr 15, 2025Updated last year
- Un outil open-source complet pour décrire visuellement les applications de votre système d’information.☆74Updated this week
- 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.
- ⚙ Skeleton TiddlyWiki for developing plugins using the ThirdFlow, see: https://thediveo.github.io/TiddlyWikiPluginSkeleton and https://yo…☆10Mar 1, 2020Updated 6 years ago
- Open Source AADL2 Tool Environment☆58Updated this week
- A Sirius designer for Enterprise Integration Patterns☆58Oct 5, 2016Updated 10 years ago
- Leo code snippets☆13Apr 27, 2020Updated 6 years ago
- Usage examples for Viz.js☆12Dec 8, 2018Updated 7 years ago
- Semantic search web application with graph visualization in Django☆12Aug 2, 2017Updated 9 years ago
- MontiArc is a formal component and connector architecture description language (ADL) for the specification and modeling of cyber-physical…☆27Oct 1, 2026Updated last week
- The open source IFML editor - Based on Sirius☆44Aug 26, 2015Updated 11 years ago
- Plugin for integration of PlantUML in TiddlyWiki☆14Nov 15, 2012Updated 13 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Pass data between a google sheet and jupyter notebook☆11Mar 5, 2018Updated 8 years ago
- This is an example parser written in flex and bison☆12May 7, 2012Updated 14 years ago
- A desktop solution for BPMN modeling☆12Jan 13, 2021Updated 5 years ago
- NYT Risk Semantics Project☆12Mar 5, 2016Updated 10 years ago
- The code used and calculations performed for the video https://youtu.be/x3-Y6jL3yjQ☆14May 25, 2025Updated last year
- DFTCalc: A Dynamic Fault Tree calculator for reliability and availability☆17Nov 7, 2024Updated last year
- Project to make writing plugins across major versions of flake8 easier☆11Aug 11, 2025Updated last year
- A JSON extension plugin for TiddlyWiki5☆17Dec 28, 2020Updated 5 years ago
- An OCaml library providing a C parser and lexer☆43Nov 8, 2024Updated last year
- 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.
- Open Source Solution for Model-Based Systems Engineering☆348Oct 2, 2026Updated last week
- A threat modeling tool that implements the Trike v2 methodology in Smalltalk☆17Nov 18, 2019Updated 6 years ago
- Fuzzy cognitive maps python library☆11Jan 14, 2022Updated 4 years ago
- Tiny browser chrome for Servo using CEF for testing☆12Feb 7, 2015Updated 11 years ago
- Lectures "Geometry and physics of black holes"☆39Oct 3, 2026Updated last week
- JsonGraph library for Pythonistas☆20Jul 9, 2020Updated 6 years ago
- Learning platform for category theory in python☆17Updated this week
- ☆14Sep 8, 2016Updated 10 years ago
- Input-output data with Python☆20Jun 14, 2026Updated 3 months 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.
- CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI bre…☆10May 19, 2022Updated 4 years ago
- Rails interface to completely manage a BIND DLZ installation☆19Jul 25, 2008Updated 18 years ago
- A Python-Based wrapper for the NASA CEA Thermochemical Code☆26Sep 14, 2026Updated 3 weeks ago
- ☆17Jan 20, 2016Updated 10 years ago
- Introductory interactive Jupyter tutorial providing details about ORMs in order to assist in the teaching of their use to computing scien…☆14Oct 21, 2025Updated 11 months ago
- An ordered map and set based on a binary search tree.☆13Mar 31, 2015Updated 11 years ago
- Groho (গ্রহ) is a simulator for inter-planetary travel☆12Jul 15, 2020Updated 6 years ago