edf-hpc / verrou
floating-point errors checker
☆56Updated this week
Alternatives and similar repositories for verrou
Users that are interested in verrou are comparing it to the libraries listed below
Sorting:
- A tool for debugging and assessing floating point precision and reproducibility.☆77Updated 3 months ago
- Error-Free Transformations as building blocks for compensated algorithms☆15Updated 2 years ago
- Department of Energy Standard Utility Library☆31Updated 2 weeks ago
- An MPI ABI compatibility layer☆32Updated 2 months ago
- A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.☆38Updated 5 months ago
- GTensor is a multi-dimensional array C++14 header-only library for hybrid GPU development.☆36Updated last month
- Loop Kernel Analysis and Performance Modeling Toolkit☆93Updated last month
- Kripke is a simple, scalable, 3D Sn deterministic particle transport code☆40Updated 4 months ago
- Distributed-memory, arbitrary-precision, dense and sparse-direct linear algebra, conic optimization, and lattice reduction☆68Updated last month
- Shroud: generate Fortran and Python wrappers for C and C++ libraries☆90Updated last month
- Comb is a communication performance benchmarking tool.☆24Updated 2 years ago
- A dynamic analysis tool to detect floating-point errors in HPC applications.☆34Updated this week
- Compiler agnostic metaprogramming library providing concepts, type operations and tuples for C++ and cuda☆87Updated this week
- Fork of llvm/llvm-project for f18. In sync with f18-mlir and f18.☆28Updated last year
- YAKL is A Kokkos Layer: A simple C++ framework for performance portability and Fortran code porting☆66Updated 2 weeks ago
- Evaluate the numerical accuracy of an application (mirror of the Gitlab main repo).☆13Updated last year
- Autonomic Performance Environment for eXascale (APEX)☆47Updated last week
- OpenMP Offloading Validation & Verification Suite; Official repository. We have migrated from bitbucket!! For documentation, results, pub…☆58Updated this week
- Header-only plugin for the Google Test framework defining listener(s) emitting sensible output when testing MPI-based, distributed-memory…☆20Updated 3 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 7 months 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
- GPU-friendly Small Non-Linear Solvers (SNLS)☆17Updated 2 weeks 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 last week
- YASK--Yet Another Stencil Kit: a domain-specific language and framework to create high-performance stencil code for implementing finite-d…☆107Updated 9 months ago
- Custom-Precision Floating-point numbers.☆36Updated 4 months ago
- Automates using spack to build and deploy software☆28Updated this week
- ☆39Updated 3 weeks ago
- This fork of SWIG creates Fortran wrapper code from C++ headers.☆46Updated last year
- GOTCHA is a library for wrapping function calls in shared libraries☆75Updated last month
- OpenACC* to OpenMP* API assisting migration tool☆35Updated 6 months ago