Verrou Alternatives

Similar projects and alternatives to verrou

sleef

17 589 8.1 C verrou VS sleef

SIMD Library for Evaluating Elementary Functions, vectorized libm and DFT
trice

6 423 9.1 Go verrou VS trice

🟢 super fast 🚀 and tiny 🐥 embedded device 𝘾 printf-like trace ✍ code, works also inside ⚡ interrupts ⚡ and real-time PC 💻 logging (trace ID visualization 👀)
WorkOS

workos.com sponsored

The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
valgrind-macos

6 1,064 8.7 C verrou VS valgrind-macos

A valgrind mirror with latest macOS support
shaman

1 - - verrou VS shaman
valgrind-riscv64

1 45 7.8 C verrou VS valgrind-riscv64

Valgrind with support for the RISCV64/Linux platform.
verificarlo

1 61 4.0 C verrou VS verificarlo

A tool for debugging and assessing floating point precision and reproducibility.
valgrind

1 104 0.0 C verrou VS valgrind

Enhanced Valgrind for Persistent Memory (by pmem)
InfluxDB

www.influxdata.com sponsored

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better verrou alternative or higher similarity.

Suggest an alternative to verrou

verrou reviews and mentions

Posts with mentions or reviews of verrou. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-06-03.

C library for multiple-precision floating-point arithmetic with correct rounding
3 projects | news.ycombinator.com | 3 Jun 2022

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