Popular repositories Loading

1. CordicWithPosit CordicWithPosit Public

   Implementation of Cordic algorithm using Posit. We also provide a couple implementations with modifications that improve the accuracy.

   C++ 2

2. CASM_Verify_Artifact CASM_Verify_Artifact Public

   Python 1

3. PositDebug PositDebug Public

   Forked from rutgers-apl/PositDebug

   A debugger to detect numerical errors in applications using posits.

   C++

4. POPL21-artifact POPL21-artifact Public

   This is a repository for storing the POPL21-artifact

   C++

5. rlibm-generator rlibm-generator Public

   Forked from rutgers-apl/rlibm-generator

   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++

6. PLDI2021Artifact PLDI2021Artifact Public

   Artifact link for PLDI2021 submission

   C