verrou
valgrind-macos
| verrou | valgrind-macos | |
|---|---|---|
| 2 | 6 | |
| 44 | 1,073 | |
| - | - | |
| 9.0 | 8.7 | |
| 8 days ago | 7 days 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-macos
-
macOS Sonoma Forced Installs
> There's a nice synergy between using Mac and Linux - many of the same scripts, commands, and concepts work identically.
I switched to a Mac a few months ago from Windows and I kinda hate the small differences with Linux, I like WSL much better. On top of my head,
- No systemd
- No native docker
- No valgrind (there is https://github.com/LouisBrunner/valgrind-macos though)
I basically have to install a Linux VM on Mac just for this, at which point WSL on Windows is a much better tradeoff IMO.
-
I find it's not possible to do serious C/C++ coding on latest macOS
As far as I know there are only two of us contributing to it - Louis Brunner and myself, both very much part time volunteers.
-
Valgrind 3.21 Released
There is ongoing work here https://github.com/LouisBrunner/valgrind-macos (and I have a repo that is based on the same changes, and a bit more up do date upstream here https://github.com/paulfloyd/macos_valgrind). Anyone that can help with this is most welcome!
-
Apple killed XVim
BTW, it seems like there is some work ongoing for working Valgrind in later macOS versions: https://github.com/LouisBrunner/valgrind-macos/issues/19
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 👀)
oni2 - Native, lightweight modal code editor
sleef - SIMD Library for Evaluating Elementary Functions, vectorized libm and DFT
GLFW - A multi-platform library for OpenGL, OpenGL ES, Vulkan, window and input
valgrind-riscv64 - Valgrind with support for the RISCV64/Linux platform.
gperftools - Main gperftools repository