EMF-based Fault-Tree Analysis Tool
☆63Jan 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:
- The Open Reliability Editor (ORE) for dependability modeling and analysis.☆22Jun 10, 2024Updated last year
- Visualization for Dynamic Fault Trees☆16Oct 23, 2025Updated 7 months ago
- Ontology Modeling Language (OML) Workbench☆14Mar 12, 2020Updated 6 years ago
- Interactive demo of semantic editing of 3D shapes.☆17Oct 27, 2024Updated last year
- Apple Lossless Audio Codec with autotools, Debian toolchain, and Visual Studio project files☆13Apr 27, 2014Updated 12 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Precision Rectifier for Current Transformer☆10May 11, 2020Updated 6 years ago
- CP2112 based USB I2C bridge☆14Jan 1, 2023Updated 3 years ago
- Breakout board for the 74HC4051 8-channel analog multiplexer/demultiplexer☆12May 18, 2022Updated 4 years ago
- Otter's KiCAD-libs☆14Apr 16, 2025Updated last year
- Public examples for FORCES NLP☆12Jun 20, 2017Updated 8 years ago
- Simulating the Minuteman D-17b computer in Godot.☆24Apr 10, 2024Updated 2 years ago
- ☆20Aug 28, 2022Updated 3 years ago
- A Python-Based wrapper for the NASA CEA Thermochemical Code☆22Apr 17, 2026Updated last month
- Python Gradient-Based Optimization Tool☆11Aug 8, 2022Updated 3 years 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.
- Raster print package for Brother P-Touch label printers☆16May 8, 2025Updated last year
- ☆17Jun 19, 2021Updated 4 years ago
- Open Hardware 64 Kb RAM Expansion for the Commodore 16☆16Feb 13, 2026Updated 3 months ago
- This python module extracts the metadata, specifically the page count, from word document and print the total page count or number of pag…☆10Aug 20, 2019Updated 6 years ago
- Full-fledged industrial environment for scientific computing and High Performance Computing☆19Jun 12, 2023Updated 2 years ago
- ☆14Nov 28, 2019Updated 6 years ago
- Tiny browser chrome for Servo using CEF for testing☆12Feb 7, 2015Updated 11 years ago
- Bash function to convert xml-tag like color strings to ANSI color escape codes☆34Oct 28, 2025Updated 6 months ago
- Resources that spice-webdav needs.☆20May 14, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Interior point solver for PLQ densities☆13Mar 7, 2026Updated 2 months ago
- ESP32 based webserver as replacement for the HC05/06 inside a MK-312BT☆16Oct 2, 2022Updated 3 years ago
- Mirror of software for use with XGecu and Autoelectric's line of chip programmers (TL866A, TL866CS, TL866II Plus, T56)☆17Apr 17, 2026Updated last month
- Ship energy usage data & UPS stats from Network-UPS-Tools to InfluxDB/MQTT☆11Apr 6, 2026Updated last month
- A set of bash scripts for offensive security pentesting. (Machine with Kali reccomended)☆13Sep 30, 2016Updated 9 years ago
- IntelliLink is an alternative Windows version to Online Link Managers!☆23May 11, 2026Updated 2 weeks ago
- An OCaml library providing a C parser and lexer☆42Nov 8, 2024Updated last year
- Guided-Meta Policy Search☆39Jan 19, 2023Updated 3 years ago
- Pythonic API to Linux uinput module☆11Nov 15, 2016Updated 9 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- generic C++ containers; matrix, triangle matrix, crs sparse matrix, etc.☆12Mar 23, 2018Updated 8 years ago
- OSLC OP specifications and notes☆29Updated this week
- My RPM specs on Copr☆20Updated this week
- Home of the Aerocapture Mission Analysis Tool (AMAT). For project documentation visit:☆17Updated this week
- Template for debugging C++ applications in docker containers.☆13Mar 13, 2019Updated 7 years ago
- Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers☆13Feb 12, 2020Updated 6 years ago
- Experimental comparators for collections to be generic over☆17Apr 29, 2024Updated 2 years ago