affine-arithmetic

There are 7 repositories under affine-arithmetic topic.

  • arpra-project/arpra

    Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.

    Language:C23471

  • tukcps/AADD

    This repository holds the Affine Arithmetic Decision Diagrams library

    Language:C++5462

  • kevinclancy/levitate

    Utilities for verified floating-point computation in Haskell: Controlled rounding, interval arithmetic, and affine arithmetic.

    Language:Haskell4110

  • Soupstraw/hafar

    Affine arithmetic library for Haskell

    Language:Haskell1420

  • scottishwelder/machida

    A library for the representation and propagation of uncertainty

    Language:Rust0100

  • fireofearth/AffineArithmetic.jl

    Affine arithmetic using sparse vector storage of coefficients

    Language:Julia20

  • foolnotion/aaflib

    Fork of http://aaflib.sourceforge.net/ with cmake support.

    Language:C++30