Event Modeling Risk Assessment using Linked Diagrams (EMRALD) is a software tool developed at INL for researching the capabilities of dynamic PRA (Probabilistic Risk Assessment). In order to promote the effective use of dynamic PRA by the general community, EMRALD focuses on the following key aspects: Simplifying the modeling process by providin…
☆29Jul 13, 2026Updated this week
Alternatives and similar repositories for EMRALD
Users that are interested in EMRALD are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- OpenPRA Web Application Monorepo☆22Updated this week
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆10Jun 6, 2023Updated 3 years ago
- Fault Trees on R☆10Aug 26, 2023Updated 2 years ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Updated this week
- A fork of iryoku/smaa (Subpixel Morphological Antialiasing) that works with WebGL and OpenGL ES 2+.☆11Feb 18, 2016Updated 10 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.
- Monadic Error Handling for Python☆13Aug 29, 2024Updated last year
- Official implementation of the paper "HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package" accepted @ DDECS 2023.☆14Jul 11, 2025Updated last year
- Live demo using Angular, github.dev, codespaces, copilot, azure static web apps, and devcontainers☆12Mar 5, 2023Updated 3 years ago
- ☆20Feb 22, 2017Updated 9 years ago
- A greyscale theme with look-n-feel of an eink display☆13Apr 15, 2023Updated 3 years ago
- T大树洞简易爬虫☆12Sep 19, 2020Updated 5 years ago
- Syntax highlighting for PEG.js in Visual Studio Code.☆12Jul 11, 2023Updated 3 years ago
- Example code for using the DK2 in direct mode with the cinderNext branch☆12Mar 24, 2015Updated 11 years ago
- Source for the Oculus Rift enabled player we created for the Dew Tour Brooklyn VR Skate Experience☆14Jul 1, 2015Updated 11 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆17Aug 30, 2025Updated 10 months ago
- CinderHap enables the Hap codec on Cinder.☆25Apr 16, 2013Updated 13 years ago
- EPMC: An Extendible Probabilistic Model Checker☆21Jan 13, 2025Updated last year
- ☆19Dec 9, 2025Updated 7 months ago
- Tinia - A cloud platform for accelerated computing and rendering☆18Nov 7, 2017Updated 8 years ago
- Exemplo de uso do Qt e Cutelyst em aplicações RESTful☆12Oct 3, 2019Updated 6 years ago
- Extract information from Emacs Lisp libraries☆29Jun 1, 2026Updated last month
- OpenFrameworks addon to support super fast super smooth AV Foundation video playback on OSX 10.7+☆18Mar 15, 2015Updated 11 years ago
- Incremental Build Verification☆17Apr 21, 2024Updated 2 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.
- Automatically exported from code.google.com/p/dpix☆13Jan 7, 2016Updated 10 years ago
- Convert OBJ 3D models to IFC☆14Jan 12, 2022Updated 4 years ago
- Tiny Vue component for Electron to open links in a browser. Ideal for cross environment apps (Web & Native)☆20Jun 29, 2021Updated 5 years ago
- A dynamic method for detecting faults in incremental and parallel builds.☆18Jul 27, 2022Updated 3 years ago
- Lightweight yet powerful and fast QT Text editor☆10Apr 11, 2025Updated last year
- (ICLR 2025) AgentRefine: Enhancing Agent Generalization through Refinement Tuning☆20Nov 22, 2025Updated 7 months ago
- ☆13Nov 23, 2022Updated 3 years ago
- Tools and packages that are used for countering forensic activities, including encryption, steganography, and anything that modify attrib…☆22Oct 5, 2019Updated 6 years ago
- ☆18Dec 2, 2016Updated 9 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Cinder block for rendering digital video on Windows using the libavcodec library.☆30Jun 5, 2019Updated 7 years ago
- 基于一阶泰勒展开的点堆中子动力学方程求解程序☆16Mar 18, 2019Updated 7 years ago
- NOTE: This work has been merged into the PCL trunk repository. Conversion between the VTP and PCD file formats☆21Apr 25, 2012Updated 14 years ago
- repository for slides and code examples for my MeetingCpp talk in 2015☆12Jan 21, 2016Updated 10 years ago
- TTG: Template Task Graph C++ API☆26May 9, 2026Updated 2 months ago
- My (mostly) LaTeX snippets for Emacs☆22Mar 24, 2025Updated last year
- ☆33Nov 8, 2025Updated 8 months ago