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
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆15Updated last year
- Rutgers APL correctly rounded math library☆29Updated 4 years ago
- A combined repository for all RLIBM prototypes☆45Updated 7 months ago
- Lower Size Bounds for Sorting Networks☆44Updated 4 years ago
- The AlteRnaTive Impala Compiler☆26Updated last month
- Vectorized version of the PCG random number generator☆77Updated 2 months ago
- Formally verified implementation of Alive in Lean☆36Updated last year
- BSD Licensed Bignum Library☆233Updated last year
- Runtime support for LLVM's GC Statepoints☆42Updated 5 years ago
- Sigmoid Numbers backed by IEEE Floats☆17Updated 7 years ago
- Universal Number Library☆41Updated 7 years ago
- MimIR is my Intermediate Representation☆66Updated last week
- A mirror of the CRLibm project from INRIA Forge☆46Updated 4 years ago
- A standard for floating point accuracy benchmarks☆49Updated last month
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Updated 5 months ago
- Code generation tool to generate mathematical libraries☆55Updated last month
- Intriman is a documentation generator that retargets the Intel Intrinsics Guide to other documentation formats☆28Updated 2 years ago
- ☆41Updated last year
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren☆58Updated 2 years ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆30Updated last week
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 7 months ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- A benchmark for sorting algorithms☆60Updated 4 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆47Updated 9 years ago
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆47Updated last year
- A Valgrind tool for Herbie☆93Updated 2 years ago
- ZP7: Zach's Peppy Parallel-Prefix-Popcountin' PEXT/PDEP Polyfill☆52Updated 8 months ago
- Poireau: a sampling allocation debugger☆87Updated 3 years ago