Popular repositories Loading

1. rlibm-32 rlibm-32 Public

   RLibm for 32-bit representations (float and posit32)

   C 61 4

2. The-RLIBM-Project The-RLIBM-Project Public

   A combined repository for all RLIBM prototypes

   C 42 2

3. alive-nj alive-nj Public

   Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM

   Python 28 6

4. rlibm rlibm Public

   Rutgers APL correctly rounded math library

   C 28 2

5. rlibm-all rlibm-all Public

   RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point representations and rounding modes

   C 13 1

6. rlibm-generator rlibm-generator Public

   A tool to generate approximations of elementary functions that produce the correctly rounded result for all inputs. This tool can be used for different representations that approximate real numbers.

   C++ 12 3