8000 Rutgers Architecture and Programming Languages (RAPL) Group · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@rutgers-apl

Rutgers Architecture and Programming Languages (RAPL) Group

Open source repository of the Rutgers Architecture and Programming Languages (RAPL) group

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 45 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 32 5

  4. rlibm rlibm Public

    Rutgers APL correctly rounded math library

    C 29 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 15 1

  6. TaskProf TaskProf Public

    A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs

    C++ 13 1

Repositories

Showing 10 of 22 repositories
View all repositories

Top languages

Loading…

Most used topics

Loading…
0