Rutgers Architecture and Programming Languages (RAPL) Group (@rutgers-apl)
Guthub

rutgers-apl

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    266
  • Global Org. Rank 34,589 (Top 11 %)
  • Registered about 9 years ago
  • Most used languages
    C++
         52.6 %
    C
         36.8 %
    Python
         10.5 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 24,814
  • Country Ranking
    C
         1,511
    C++
         3,300

Top repositories

1

rlibm-32

RLibm for 32-bit representations (float and posit32)
C
61
star
2

The-RLIBM-Project

A combined repository for all RLIBM prototypes
C
42
star
3

rlibm

Rutgers APL correctly rounded math library
C
28
star
4

alive-nj

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

rlibm-all

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
star
6

TaskProf

A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
C++
12
star
7

fpsanitizer

A debugger to detect and diagnose numerical errors in floating point programs
C++
12
star
8

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++
12
star
9

TaskProf2

A Parallelism Profiler and an Adviser for Task Parallel Programs.
C
9
star
10

omp-whip

OMP-WHIP: A parallelism profiler with what-if analyses for OpenMP programs
C++
8
star
11

CASM-Verify

Automatic functional verification tool for assembly implementation of cryptographic algorithms
Python
7
star
12

PTRacer

A data race detector for C++ programs that use Intel TBB for task parallelism
C++
6
star
13

EFTSanitizer

EFTSanitizer is a tool for fast shadow execution using error free transformations to detect and debug numerical errors
C++
6
star
14

PFPSanitizer

C
5
star
15

CordicWithPosits

A modified CORDIC implementation using the posit representation.
C++
3
star
16

PositDebug

A debugger to detect numerical errors in applications using posits.
C++
3
star
17

omp-racer

A dynamic apparent data race detector for OpenMP programs using the OpenMP Series Parallel Graph
C++
3
star
18

rlibm-prog

C
2
star
19

Atomicity-Violation-Detector

Atomicity violation detection tool for C++ programs that use Intel TBB task parallel library.
C++
1
star