Jay Lim's repositories
CordicWithPosit
Implementation of Cordic algorithm using Posit. We also provide a couple implementations with modifications that improve the accuracy.
PLDI2021Artifact
Artifact link for PLDI2021 submission
Language:CMIT000
Language:CMIT000
POPL2022Artifact
Repository for popl-2022 artifact.
Language:C000
POPL21-artifact
This is a repository for storing the POPL21-artifact
Language:C++000
PositDebug
A debugger to detect numerical errors in applications using posits.
Language:C++NOASSERTION000
000
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.
Language:C++NOASSERTION000
000