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…
☆29Apr 2, 2026Updated last 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☆22Apr 4, 2026Updated last week
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Updated this week
- Fault Trees on R☆10Aug 26, 2023Updated 2 years ago
- A fork of iryoku/smaa (Subpixel Morphological Antialiasing) that works with WebGL and OpenGL ES 2+.☆11Feb 18, 2016Updated 10 years ago
- Official implementation of the paper "HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package" accepted @ DDECS 2023.☆13Jul 11, 2025Updated 9 months ago
- 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.
- Monadic Error Handling for Python☆12Aug 29, 2024Updated last year
- Live demo using Angular, github.dev, codespaces, copilot, azure static web apps, and devcontainers☆12Mar 5, 2023Updated 3 years ago
- ☆19Feb 22, 2017Updated 9 years ago
- A greyscale theme with look-n-feel of an eink display☆13Apr 15, 2023Updated 2 years ago
- T大树洞简易爬虫☆13Sep 19, 2020Updated 5 years ago
- Syntax highlighting for PEG.js in Visual Studio Code.☆12Jul 11, 2023Updated 2 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 10 years ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆17Aug 30, 2025Updated 7 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- EPMC: An Extendible Probabilistic Model Checker☆19Jan 13, 2025Updated last year
- CinderHap enables the Hap codec on Cinder.☆25Apr 16, 2013Updated 12 years ago
- ☆19Dec 9, 2025Updated 4 months ago
- Convert MCNP input files to a general CAD format☆38Jun 20, 2025Updated 9 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☆29Jan 3, 2026Updated 3 months ago
- OpenFrameworks addon to support super fast super smooth AV Foundation video playback on OSX 10.7+☆18Mar 15, 2015Updated 11 years ago
- Automatically exported from code.google.com/p/dpix☆13Jan 7, 2016Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Incremental Build Verification☆17Apr 21, 2024Updated last year
- Tiny Vue component for Electron to open links in a browser. Ideal for cross environment apps (Web & Native)☆20Jun 29, 2021Updated 4 years ago
- A dynamic method for detecting faults in incremental and parallel builds.☆18Jul 27, 2022Updated 3 years ago
- (ICLR 2025) AgentRefine: Enhancing Agent Generalization through Refinement Tuning☆18Nov 22, 2025Updated 4 months ago
- Lightweight yet powerful and fast QT Text editor☆10Apr 11, 2025Updated last year
- Tools and packages that are used for countering forensic activities, including encryption, steganography, and anything that modify attrib…☆23Oct 5, 2019Updated 6 years ago
- ☆13Nov 23, 2022Updated 3 years ago
- ☆18Dec 2, 2016Updated 9 years ago
- Cinder block for rendering digital video on Windows using the libavcodec library.☆29Jun 5, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 基于一阶泰勒展开的点堆中子动力学方程求解程序☆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 13 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☆26Updated this week
- Convert OBJ 3D models to IFC☆14Jan 12, 2022Updated 4 years ago
- My (mostly) LaTeX snippets for Emacs☆22Mar 24, 2025Updated last year
- ☆22Apr 29, 2024Updated last year