67 results for “topic:floating-point-arithmetic”
Large collection of number systems providing custom arithmetic for mixed-precision algorithm development and optimization for AI, Machine Learning, Computer Vision, Signal Processing, CAE, EDA, control, optimization, estimation, and approximation.
Constraint solver based on coverage-guided fuzzing
Calculate with error-free, faithful, and compensated transforms and extended significands.
a mini TPU with floating point arithmetic
Custom-Precision Floating-point numbers.
A dynamic analysis tool to detect floating-point errors in HPC applications.
APyTypes - Algorithmic data types for Python
32 - bit floating point Multiplier Accumulator Unit (MAC)
Fast Floating Point Operators for High Level Synthesis
soft_double provides a C++ software implementation of a double-precision floating-point data type
A Python package for floating-point binary fractions. Do math in base 2!
mirror of Fabrice Bellard's libbf tar releases, with fixes and CI
Detector for Floating Point Precision Loss
Computer Architecture -VLSI -Verilog Codes-Xilinx-Irsim
A Node.js module that fixes the binary floating-point rounding "error" at the 17th decimal place of JavaScript numbers
Handle JavaScript operations, avoiding the native problems of the language
OCaml bindings for MPFR
Kahan Floating-Point (C++ implementation)
Auto-active verification of floating-point programs.
8051 ISA Subroutine Programs
Speedy, uncompromisingly accurate emulation of TI-Floats
DecimalJS is an arbitrary precision floating point arithmetic library based on PHP's bcmath extension.
An optimized JavaScript implementation of the MurmurHash3 algorithm.
Synchronous and Asynchronous FIFO with AXI interface
Symmetrical 16-bit floating point type and library
Compilation of the assignments of the course of COL726: Numerical Algorithms (Spring 2021) and their solutions
Toolkit for studying numerical analysis and floating point algebra round-off
Simple, naive implementation of arbitrary precision floating point numbers. Example for finding Euler's number is provided.
Floating point precision on PI
A exercise on theorem proving, design and correctness of a floating point adder in ACL2