Repository Index

A modern formatting library

• formatting
• printf
• output
• chrono

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.

• arithmetic
• integer-arithmetic
• fixed-point-arithmetic
• rational-arithmetic

Correctly rounded decimals for Go

• decimal
• financial
• floating-point
• general-decimal-arithmetic

Correctly rounded monetary amounts and exchange rates for Go

• currency
• decimal
• exchange-rate
• financial

An arbitrary-precision decimal floating-point arithmetic package for Go

• decimal
• arbitrary-precision
• floating-point
• go

VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations

Pascal library for arbitrary precision BCD floating point numbers

• pascal
• arbitrary-precision
• math
• bignumber

A tiny easy math include addition multiplication subtraction division.

• math
• math-library
• mathematics
• true-math

The repository host gives no description.

• lecture
• floating-point
• coq-formalization
• ieee-754