rutgers-apl / rlibm-32
RLibm for 32-bit representations (float and posit32)
☆61Updated 3 years ago
Alternatives and similar repositories for rlibm-32:
Users that are interested in rlibm-32 are comparing it to the libraries listed below
- Rutgers APL correctly rounded math library☆29Updated 4 years ago
- A combined repository for all RLIBM prototypes☆45Updated 5 months ago
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆15Updated last year
- BSD Licensed Bignum Library☆233Updated last year
- A Valgrind tool for Herbie☆93Updated 2 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 6 months ago
- ☆50Updated last year
- A benchmark for sorting algorithms☆59Updated 3 years ago
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Updated 4 months ago
- Vectorized version of the PCG random number generator☆76Updated 2 weeks ago
- Prototype implementation of Heartbeat Scheduling, in C++☆17Updated 2 years ago
- Poireau: a sampling allocation debugger☆87Updated 3 years ago
- Support for ternary logic in SSE, XOP, AVX2 and x86 programs☆31Updated 2 months ago
- Program Generator for Small-Scale Linear Algebra Applications☆29Updated 6 years ago
- Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren☆58Updated 2 years ago
- Generic SIMD intrinsic to allow for portable SIMD intrinsic programming☆42Updated 11 years ago
- A standard for floating point accuracy benchmarks☆49Updated last week
- Lower Size Bounds for Sorting Networks☆44Updated 4 years ago
- SIMD recipes, for various platforms (collection of code snippets)☆48Updated 3 years ago
- Sigmoid Numbers backed by IEEE Floats☆16Updated 7 years ago
- A Futhark implementation of Ray Tracing: the Next Week☆13Updated last year
- Lace - implementation of work-stealing in C☆35Updated 11 months ago
- LALR(k) Parser Generator for Haskell, by Ralf Hinze☆9Updated 5 years ago
- ZP7: Zach's Peppy Parallel-Prefix-Popcountin' PEXT/PDEP Polyfill☆51Updated 7 months ago
- Library for generating ABI-compliant LLVM IR☆60Updated 5 years ago
- The AlteRnaTive Impala Compiler☆26Updated last month
- A mirror of the CRLibm project from INRIA Forge☆46Updated 4 years ago
- 8-bit Xor Filter in C99☆61Updated 5 years ago
- Runtime support for LLVM's GC Statepoints☆42Updated 5 years ago
- Code generation tool to generate mathematical libraries☆55Updated 2 weeks ago