idaholab / EMRALDLinks
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…
☆28Updated last week
Alternatives and similar repositories for EMRALD
Users that are interested in EMRALD are comparing it to the libraries listed below
Sorting:
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆11Updated 2 years ago
- ☆11Updated 3 years ago
- ☆14Updated 2 months ago
- TTG: Template Task Graph C++ API☆26Updated 3 months ago
- DARMA/magistrate => Serialization and checkpointing library☆12Updated last month
- Department of Energy Standard Utility Library☆32Updated this week
- The Framework for Optimization of Resources, Controls, and Economics is a collection of software tools, models, and datasets acquired and…☆11Updated 10 months ago
- DARMA/vt => Virtual Transport☆39Updated 3 weeks ago
- A small C++17 library inspired by Category Theory.☆16Updated 2 years ago
- Compiler agnostic metaprogramming library providing concepts, type operations and tuples for C++ and cuda☆92Updated last week
- Visualization tool for analyzing call trees and graphs☆35Updated 2 years ago
- A compile-time Computer Algebra System (CAS) library (with some geometry)☆20Updated 2 years ago
- Major-mode for ROOT and the Cling REPL in Emacs☆18Updated 11 months ago
- A diff tool that highlights changes at the token (rather than line) level☆13Updated 2 years ago
- Automates using spack to build and deploy software☆29Updated 3 weeks ago
- Generates API documentation for CMake functions and macros☆15Updated 3 months ago
- Portable HPC Containers (C++)☆48Updated last week
- C++ Header-Only Library for High-Performance Tensor-Vector Multiplication☆22Updated last week
- Vectorised data model base and helper classes.☆20Updated last month
- parallel graph partitioning using recursive spectral bisection (RSB)☆22Updated 5 months ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Updated 2 months ago
- Tools and libraries for writing Kokkos-enabled HPC C++ in E3SM ecosystem☆18Updated this week
- Program analysis tool based on software performance counters☆57Updated 4 years ago
- A C++17 library for parser generation for LALR(1) languages☆13Updated 2 years ago
- ☆32Updated 2 months ago
- Global Memory and Threading runtime system☆25Updated last year
- Collaborating on papers for the ISO C++ committee - public repo☆27Updated last year
- Copy-hiding array abstraction to automatically migrate data between memory spaces☆109Updated this week
- C++ genetic algorithms scientific library☆15Updated 2 years ago
- C++ library for incremental computing☆23Updated 3 years ago