Python library for arbitrary-precision floating-point arithmetic

Code generation tool to generate mathematical libraries

A dynamic analysis tool to detect floating-point errors in HPC applications.

Turning float tensors to binary tensors according to IEEE-754 standard.

A Deep Learning Framework for the Posit Number System

Python module which finds the IEEE-754 representation of a floating point number.

GoldenEye is a functional simulator with fault injection capabilities for common and emerging numerical formats, implemented for the PyTorch deep learning framework.

A Python package for floating-point binary fractions. Do math in base 2!

Rigorous Floating-Point Mixed-Precision Tuner

A Pytorch implementation of stochastic addition.

Solid statistical analysis of Stochastic Arithmetic.

Python Floating Point Benchmark

Pine tool. Detailed description of the technique can be found in the paper "Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis" A.Izycheva, E.Darulova, H.Seidl, SAS'20

A light-weight structlog processor to round floats for prettier logging.

A simple python class which finds the binary representation of a floating-point number.

Bandages for boto3 floating-point wounds.

Return a single-precision floating-point number with the magnitude of x and the sign of y.

Return a double-precision floating-point number with the magnitude of x and the sign of x*y.

Return an unsigned 32-bit integer corresponding to the less significant 32 bits of a double-precision floating-point number.