rutgers-apl / rlibm-32Links
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
Sorting:
- A combined repository for all RLIBM prototypes☆45Updated 9 months ago
- Rutgers APL correctly rounded math library☆30Updated 4 years ago
- BSD Licensed Bignum Library☆233Updated last year
- Binary floating-point to decimal string conversion algorithm.☆104Updated 7 years ago
- A minimalistic and high-performance SAT solver☆145Updated 3 years ago
- Vectorized version of the PCG random number generator☆80Updated 4 months ago
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆16Updated last year
- A benchmark for sorting algorithms☆60Updated 4 years ago
- Lace - implementation of work-stealing in C☆37Updated last year
- ZP7: Zach's Peppy Parallel-Prefix-Popcountin' PEXT/PDEP Polyfill☆53Updated 11 months ago
- Program Generator for Small-Scale Linear Algebra Applications☆29Updated 7 years ago
- A mirror of the CRLibm project from INRIA Forge☆48Updated 4 years ago
- An imperative and functional programming language☆153Updated last month
- The Higher-Order Intermediate Representation☆155Updated 2 weeks ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 10 months ago
- Lightweight framework for easy and efficient code generation☆100Updated 10 months ago
- arbitrary precision arithmetic library☆43Updated 6 years ago
- Universal Number Library☆42Updated 7 years ago
- ☆53Updated last year
- A Wait-Free Universal Construct for Large Objects☆97Updated 5 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆49Updated 10 years ago
- Experiments with array layouts for comparison-based searching☆84Updated last year
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- Runtime support for LLVM's GC Statepoints☆42Updated 5 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 8 years ago
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Updated 8 months ago
- A small DFA for under 16 states☆51Updated 7 years ago
- An evolutionary approach to find small and low latency sorting networks☆66Updated 2 months ago
- Unison's source code☆108Updated last year
- Comparing linear and binary searches☆41Updated 5 years ago