verrou
valgrind-riscv64
verrou | valgrind-riscv64 | |
---|---|---|
2 | 1 | |
44 | 45 | |
- | - | |
9.0 | 7.8 | |
7 days ago | 7 months ago | |
C | C | |
GNU General Public License v3.0 only | GNU General Public License v3.0 only |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
verrou
-
C library for multiple-precision floating-point arithmetic with correct rounding
At the risk of just talking to myself, I'll note that a google scholar search on the [1] above led me to this phd [2] which in turn led me to two newer tools, Verrou [3] and Verificarlo [4] which involve Valgrind and Docker, respectively, though I'd have to understand what exactly is being contained by Docker for Verrou. But it makes me appreciate more the minimalist approach of Knizia et al. in [1], which does involve recompilation of modified assembly, but that's something I'm doing multiple times with student code already.
[2] https://tel.archives-ouvertes.fr/tel-03110553/document
[3] https://github.com/edf-hpc/verrou
[4] https://github.com/verificarlo/verificarlo
valgrind-riscv64
What are some alternatives?
trice - 🟢 super fast 🚀 and tiny 🐥 embedded device 𝘾 printf-like trace ✍ code, works also inside ⚡ interrupts ⚡ and real-time PC 💻 logging (trace ID visualization 👀)
awesome-riscv - 😎 A curated list of awesome RISC-V implementations
valgrind-macos - A valgrind mirror with latest macOS support
sleef - SIMD Library for Evaluating Elementary Functions, vectorized libm and DFT
mini_shell - Mini shell made in C for Linux using GNU Readline Library
shaman
.NET Runtime - .NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.
verificarlo - A tool for debugging and assessing floating point precision and reproducibility.
macos_valgrind - Official Valgrind source merged with Louis Brunner's github repo
valgrind - Enhanced Valgrind for Persistent Memory