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…
☆29Mar 2, 2026Updated this week
Alternatives and similar repositories for EMRALD
Users that are interested in EMRALD are comparing it to the libraries listed below
Sorting:
- OpenPRA Web Application Monorepo☆22Jan 23, 2026Updated last month
- Monadic Error Handling for Python☆11Aug 29, 2024Updated last year
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Jan 15, 2026Updated last month
- ☆19Feb 22, 2017Updated 9 years ago
- ☆18Dec 9, 2025Updated 2 months ago
- A greyscale theme with look-n-feel of an eink display☆13Apr 15, 2023Updated 2 years ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆16Aug 30, 2025Updated 6 months ago
- Incremental Build Verification☆17Apr 21, 2024Updated last year
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆11Jun 6, 2023Updated 2 years ago
- A dynamic method for detecting faults in incremental and parallel builds.☆18Jul 27, 2022Updated 3 years ago
- Extract information from Emacs Lisp libraries☆29Jan 3, 2026Updated 2 months ago
- TTG: Template Task Graph C++ API☆26Feb 10, 2026Updated 3 weeks ago
- My (mostly) LaTeX snippets for Emacs☆21Mar 24, 2025Updated 11 months ago
- PlusCal Cheat Sheet by Stephan Merz☆25Sep 27, 2024Updated last year
- rf is a command-line tool capable of refactoring C and C++ source code.☆24Apr 6, 2023Updated 2 years ago
- Holistic Energy Resource Optimization Network (HERON) is a modeling toolset and plugin for RAVEN to accelerate stochastic technoeconomic …☆32Dec 8, 2025Updated 2 months ago
- High dimensional black-box optimizer using Latent Action Monte Carlo Tree Search algorithm☆29Sep 7, 2022Updated 3 years ago
- ☆43Feb 28, 2020Updated 6 years ago
- ☆10Jun 29, 2021Updated 4 years ago
- friendly imperative loop structures for Emacs lisp☆39Feb 4, 2022Updated 4 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last month
- The Framework for Optimization of Resources, Controls, and Economics is a collection of software tools, models, and datasets acquired and…☆11Jan 2, 2025Updated last year
- A Common Lisp DSL and code generator for producing readable C/C++ (and CUDA/OpenCL) from s-expressions.☆37Feb 22, 2026Updated last week
- C++ template containers with optimized memory consumption☆12Feb 27, 2026Updated last week
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- Revisiting Whittaker-Henderson Smoothing☆11Jun 19, 2025Updated 8 months ago
- C++17 Wrapper for ScaLAPACK☆11Oct 5, 2023Updated 2 years ago
- ☆11Jul 13, 2022Updated 3 years ago
- SPARK 2014 repository for the Why3 verification platform.☆35Updated this week
- Elisp library for reading .bib files☆40Dec 2, 2025Updated 3 months ago
- Quantum Monte Carlo Kernel Library☆39Feb 19, 2026Updated 2 weeks ago
- Key/Value collection type functions: for alists, hashtables and plists. Useful stuff.☆50Sep 10, 2023Updated 2 years ago
- ACF's OPRE OPS product. Code name Unicorn.☆12Updated this week
- Collection of simple General Matrix Multiplication - GEMM implementations☆13Feb 26, 2024Updated 2 years ago
- A C++ structure to manage multi-dimensional data efficiently and safely☆12Feb 1, 2026Updated last month
- CinderHap enables the Hap codec on Cinder.☆25Apr 16, 2013Updated 12 years ago
- an optimizing curry compiler☆14Nov 27, 2022Updated 3 years ago
- Dynamic analysis tool to find memory overlaps in an executable☆10Apr 25, 2022Updated 3 years ago