Skip to content

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

Change the repository type filter

All

    Repositories list

    23 repositories

    • FLoPS

      Public
      FLOPS: Formalization in the Lean Theorem Prover of the P3109 Standard
      leanfloating-pointp3109
      leanfloating-pointp3109fast2sum
      Lean
      •
      Other
      •2•9•0•0•Updated Feb 19, 2026Feb 19, 2026

    • The-RLIBM-Project

      Public
      A combined repository for all RLIBM prototypes
      C
      •
      Other
      •2•47•1•0•Updated Dec 15, 2025Dec 15, 2025

    • 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 mo…
      C
      •
      MIT License
      •2•16•0•0•Updated Oct 6, 2023Oct 6, 2023

    • cgo23-artifact

      Public
      C
      •
      Other
      •1•0•0•0•Updated Dec 17, 2022Dec 17, 2022

    • EFTSanitizer

      Public
      EFTSanitizer is a tool for fast shadow execution using error free transformations to detect and debug numerical errors
      C++
      •
      MIT License
      •0•7•1•0•Updated Sep 19, 2022Sep 19, 2022

    • fpsanitizer

      Public
      A debugger to detect and diagnose numerical errors in floating point programs
      C++
      •
      Other
      •2•12•3•0•Updated Jun 19, 2022Jun 19, 2022

    • rlibm-prog

      Public
      C
      •
      Other
      •2•2•0•0•Updated Mar 17, 2022Mar 17, 2022

    • CASM-Verify

      Public
      Automatic functional verification tool for assembly implementation of cryptographic algorithms
      Python
      •2•10•0•0•Updated Mar 4, 2022Mar 4, 2022

    • rlibm-32

      Public
      RLibm for 32-bit representations (float and posit32)
      C
      •
      MIT License
      •4•60•0•0•Updated Sep 16, 2021Sep 16, 2021

    • PFPSanitizer

      Public
      C
      •
      MIT License
      •2•7•0•0•Updated Jul 20, 2021Jul 20, 2021

    • rlibm

      Public
      Rutgers APL correctly rounded math library
      C
      •
      Other
      •3•33•0•0•Updated Mar 11, 2021Mar 11, 2021

    • 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 represen…
      C++
      •
      Other
      •3•11•1•0•Updated Oct 28, 2020Oct 28, 2020

    • omp-racer

      Public
      A dynamic apparent data race detector for OpenMP programs using the OpenMP Series Parallel Graph
      C++
      •
      BSD 2-Clause "Simplified" License
      •1•4•0•0•Updated Sep 9, 2020Sep 9, 2020

    • PositDebug

      Public
      A debugger to detect numerical errors in applications using posits.
      C++
      •
      Other
      •2•3•0•0•Updated Aug 27, 2020Aug 27, 2020

    • softboundcets

      Public
      LLVM-9 version of softboundcets
      C++
      •0•0•0•0•Updated Apr 18, 2020Apr 18, 2020

    • CordicWithPosits

      Public
      A modified CORDIC implementation using the posit representation.
      C++
      •1•4•1•0•Updated Apr 8, 2020Apr 8, 2020

    • alive-nj

      Public
      Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
      Python
      •6•33•8•1•Updated Jul 6, 2019Jul 6, 2019

    • TaskProf2

      Public
      A Parallelism Profiler and an Adviser for Task Parallel Programs.
      C
      •
      Other
      •0•10•0•0•Updated Apr 29, 2019Apr 29, 2019

    • omp-whip

      Public
      OMP-WHIP: A parallelism profiler with what-if analyses for OpenMP programs
      C++
      •0•8•0•0•Updated Aug 29, 2018Aug 29, 2018

    • TaskProf

      Public
      A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
      profilingtbbtask-parallelism
      profilingtbbtask-parallelism
      C++
      •
      MIT License
      •1•14•0•0•Updated Feb 13, 2018Feb 13, 2018

    • PTRacer

      Public
      A data race detector for C++ programs that use Intel TBB for task parallelism
      C++
      •2•8•0•0•Updated Jun 6, 2017Jun 6, 2017

    • alive-loops

      Public
      ALIVe: Automatic LLVM's Instcombine Verifier
      Python
      •
      Apache License 2.0
      •20•6•0•0•Updated Feb 1, 2016Feb 1, 2016

    • Atomicity-Violation-Detector

      Public
      Atomicity violation detection tool for C++ programs that use Intel TBB task parallel library.
      C++
      •
      GNU General Public License v2.0
      •1•2•0•0•Updated Nov 20, 2015Nov 20, 2015
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.