idaholab / EMRALDView external linksLinks
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…
☆28Feb 4, 2026Updated last 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☆21Jan 23, 2026Updated 3 weeks ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Jan 15, 2026Updated 3 weeks ago
- Monadic Error Handling for Python☆11Aug 29, 2024Updated last year
- ☆19Feb 22, 2017Updated 8 years ago
- ☆18Dec 9, 2025Updated 2 months ago
- A greyscale theme with look-n-feel of an eink display☆12Apr 15, 2023Updated 2 years ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆14Aug 30, 2025Updated 5 months ago
- 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
- Incremental Build Verification☆17Apr 21, 2024Updated last year
- A dynamic method for detecting faults in incremental and parallel builds.☆18Jul 27, 2022Updated 3 years ago
- Extract information from Emacs Lisp libraries☆28Jan 3, 2026Updated last month
- TTG: Template Task Graph C++ API☆26Nov 25, 2025Updated 2 months ago
- My (mostly) LaTeX snippets for Emacs☆21Mar 24, 2025Updated 10 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 5 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 week
- 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.☆37Dec 12, 2025Updated 2 months ago
- Revisiting Whittaker-Henderson Smoothing☆11Jun 19, 2025Updated 7 months ago
- C++17 Wrapper for ScaLAPACK☆11Oct 5, 2023Updated 2 years ago
- C++ template containers with optimized memory consumption☆12Updated this week
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- ☆11Jul 13, 2022Updated 3 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- SPARK 2014 repository for the Why3 verification platform.☆35Updated this week
- Elisp library for reading .bib files☆40Dec 2, 2025Updated 2 months ago
- Quantum Monte Carlo Kernel Library☆39Updated this week
- Key/Value collection type functions: for alists, hashtables and plists. Useful stuff.☆50Sep 10, 2023Updated 2 years ago
- add any graph structure between objects with 2 simple classes + iteration, visitation, shortest path☆12Oct 27, 2022Updated 3 years ago
- Collection of simple General Matrix Multiplication - GEMM implementations☆13Feb 26, 2024Updated last year
- ☆13Jan 5, 2026Updated last month
- Automatically exported from code.google.com/p/dpix☆13Jan 7, 2016Updated 10 years ago
- Generally useful macros for C/C++ programming☆12Jun 29, 2024Updated last year
- 基于一阶泰勒展开的点堆中子动力学方程求解程序☆16Mar 18, 2019Updated 6 years ago