edf-hpc / verrou
floating-point errors checker
☆55Updated this week
Alternatives and similar repositories for verrou:
Users that are interested in verrou are comparing it to the libraries listed below
- Error-Free Transformations as building blocks for compensated algorithms☆14Updated last year
- A tool for debugging and assessing floating point precision and reproducibility.☆68Updated last week
- Loop Kernel Analysis and Performance Modeling Toolkit☆91Updated 4 months ago
- Department of Energy Standard Utility Library☆30Updated 4 months ago
- Distributed-memory, arbitrary-precision, dense and sparse-direct linear algebra, conic optimization, and lattice reduction☆65Updated 3 months ago
- Autonomic Performance Environment for eXascale (APEX)☆42Updated 2 weeks ago
- An MPI ABI compatibility layer☆30Updated 10 months ago
- A dynamic analysis tool to detect floating-point errors in HPC applications.☆33Updated 2 years ago
- OpenMP Offloading Validation & Verification Suite; Official repository. We have migrated from bitbucket!! For documentation, results, pub…☆56Updated last week
- A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.☆37Updated 2 months ago
- Kripke is a simple, scalable, 3D Sn deterministic particle transport code☆37Updated last month
- Evaluate the numerical accuracy of an application (mirror of the Gitlab main repo).☆12Updated last year
- GPU-friendly Small Non-Linear Solvers (SNLS)☆17Updated last week
- YASK--Yet Another Stencil Kit: a domain-specific language and framework to create high-performance stencil code for implementing finite-d…☆106Updated 6 months ago
- TTG: Template Task Graph C++ API☆18Updated 2 weeks ago
- Shroud: generate Fortran and Python wrappers for C and C++ libraries☆90Updated this week
- Comb is a communication performance benchmarking tool.☆24Updated last year
- Compiler agnostic metaprogramming library providing concepts, type operations and tuples for C++ and cuda☆83Updated this week
- GTensor is a multi-dimensional array C++14 header-only library for hybrid GPU development.☆35Updated 4 months ago
- MPI wrapper generator, for writing PMPI tool libraries☆34Updated 2 years ago
- This aims to be an wrapper to C-MPI3 for C++, using the principles of simplicity, STL, RAII and Boost and enforcing type-safety. This i…☆22Updated 3 months ago
- CHAI and RAJA provide an excellent base on which to build portable codes. CARE expands that functionality, adding new features such as lo…☆30Updated this week
- Kokkos C++ Performance Portability Programming Ecosystem: Profiling and Debugging Tools☆116Updated last week
- YAKL is A Kokkos Layer: A simple C++ framework for performance portability and Fortran code porting☆62Updated last month
- This fork of SWIG creates Fortran wrapper code from C++ headers.☆44Updated last year
- SLATE is a distributed, GPU-accelerated, dense linear algebra library targetting current and upcoming high-performance computing (HPC) sy…☆104Updated 2 weeks ago
- pLiner is a framework that helps programmers identify locations in the source of numerical code that are highly affected by compiler opti…☆17Updated last year
- PIRA - Automatic Instrumentation Refinement☆15Updated 10 months ago
- An OpenMP runtime implemented using HPX☆23Updated 2 years ago
- Partitioned Global Address Space (PGAS) library for distributed arrays☆102Updated this week