https://github.com/stillwater-sc/universal

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.

arbitrary-precision arbitrary-precision-arithmetic arbitrary-precision-floats arbitrary-precision-integers arithmetic artificial-intelligence c-plus-plus digital-signal-processing embedded-systems fixed-point-arithmetic floating-point-arithmetic half-precision integer-arithmetic interval-arithmetic octa-precision posit-arithmetic quad-precision quarter-precision rational-arithmetic

Last synced: 02 Apr 2026

https://github.com/flintlib/arb

Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead

arbitrary-precision c complex-numbers floating-point interval-arithmetic linear-algebra multiprecision number-theory special-functions

Last synced: 29 Dec 2025

https://github.com/google/autobound

AutoBound automatically computes upper and lower bounds on functions.

autodiff interval-arithmetic jax

Last synced: 12 Mar 2026

https://github.com/juliaintervals/intervalarithmetic.jl

Library for validated numerics using interval arithmetic

interval-arithmetic julia rigorous-numerics

Last synced: 14 May 2025

https://github.com/juliareach/reachabilityanalysis.jl

Computing reachable states of dynamical systems in Julia

automatic-control control-systems cyber-physical-systems differential-equations dynamical-systems flowpipe formal-verification hybrid-systems interval-arithmetic julia numerical-analysis ode reachability-analysis rigorous-numerics set-propagation simulations verification

Last synced: 16 May 2025

https://github.com/JuliaReach/ReachabilityAnalysis.jl

Computing reachable states of dynamical systems in Julia

automatic-control control-systems cyber-physical-systems differential-equations dynamical-systems flowpipe formal-verification hybrid-systems interval-arithmetic julia numerical-analysis ode reachability-analysis rigorous-numerics set-propagation simulations verification

Last synced: 27 Mar 2025

https://github.com/juliaintervals/intervalrootfinding.jl

Library for finding the roots of a function using interval arithmetic

interval-arithmetic julia root-finding-methods

Last synced: 16 May 2025

https://github.com/unageek/graphest

A faithful graphing calculator

art education graph graphing-calculator interval-arithmetic math mathematics plot rust

Last synced: 25 Dec 2025

https://github.com/rnabioco/valr

Genome Interval Arithmetic in R

bedtools genome interval-arithmetic

Last synced: 21 Oct 2025

https://github.com/mauriciopoppe/interval-arithmetic

An implementation of an algebraically closed interval system of the extended real number set

interval interval-arithmetic interval-arithmetic-evaluator math precision

Last synced: 05 May 2025

https://github.com/juliaintervals/intervaloptimisation.jl

Rigorous global optimisation

global-optimization interval-arithmetic julia

Last synced: 16 Apr 2026

https://github.com/juliaintervals/intervallinearalgebra.jl

Linear algebra done rigorously

interval-arithmetic linear-algebra numerics

Last synced: 11 Nov 2025

https://github.com/staircase-dev/piso

Pandas Interval Set Operations: providing methods for set operations, analytics, lookups and joins on pandas' Interval, IntervalArray and IntervalIndex

data-analysis data-science data-structures interval interval-arithmetic interval-set pandas set set-operations set-theory

Last synced: 20 Aug 2025

https://github.com/juliareach/intervalmatrices.jl

Matrices with interval coefficients in Julia

interval-arithmetic intervals matrix-computations matrix-exponential reachability-analysis

Last synced: 01 Nov 2025

https://github.com/chris00/ocaml-interval

An interval library for OCaml

computer-assisted-proof interval-arithmetic ocaml rigorous scientific-computing validated

Last synced: 23 Feb 2026

https://github.com/soarlab/gelpia

Rigorous Global Branch-and-Bound Optimizer

global-optimization interval-arithmetic optimizer rigorous

Last synced: 13 Feb 2026

https://github.com/andergray/momentarithmetic.jl

Rigorous moment propagation with partial information about moments and dependencies in Julia

arithmetic imprecise-probability interval-arithmetic moments probability uncertainty uncertainty-propagation

Last synced: 01 Aug 2025

https://github.com/juliaintervals/intervalcontractors.jl

Interval contractors and inverse (reverse) functions for Julia

contractors interval-arithmetic inverse-functions reverse-functions

Last synced: 21 Jan 2026

https://github.com/lucaferranti/dedekindcutarithmetic.jl

Exact real arithmetic using Dedekind cuts

arbitrary-precision dedekind-reals exact-reals interval-arithmetic julia

Last synced: 17 Mar 2025

https://github.com/biocpy/iranges

IRanges in Python

interval-arithmetic iranges

Last synced: 23 Apr 2025

https://github.com/juliaintervals/intervalboxes.jl

Multi-dimensional interval boxes in Julia

interval-arithmetic

Last synced: 16 Mar 2026

https://github.com/swapp-ai/extents

An Intervals Library Implemented in Pure Python

interval interval-algebra interval-arithmetic intervals

Last synced: 08 Apr 2026

https://github.com/childsish/interval

A header only C++ interval and interval set

cpp11 interval interval-arithmetic interval-binning interval-set library

Last synced: 29 May 2026

https://github.com/rodrigogiraoserrao/interval-spca

Symbolic principal component analysis of interval-valued data

interval-arithmetic mathematics principal-component-analysis statistics symbolic-data

Last synced: 02 Apr 2025

https://github.com/juliaintervals/mpfi.jl

Julia wrapper of the MPFI multi-precision interval library

interval-arithmetic julia multi-precision

Last synced: 11 Nov 2025

https://github.com/34j/numpy-flint-arb

Arbitrary precision floating / ball arithmetic (interval arithmetic) dtype in NumPy / array API

acb arb arbitrary-precision array-api flint interval-arithmetic mpmath numpy

Last synced: 10 Mar 2026

https://github.com/fabricesalvaire/python-interval-arithmetic

A Python Interval Arithmetic Module

interval-arithmetic python-library python3

Last synced: 10 Jun 2026

https://github.com/ryanbalfanz/go-timeint

go golang interval interval-arithmetic interval-scheduling interval-set intervals time timeline

Last synced: 13 Jun 2026

https://github.com/jancaha/fuzzymath

Small lightweight library for Python (version >= 3.7) that performs basic Interval and Fuzzy Arithmetic.

fuzzy fuzzy-arithmetic interval interval-arithmetic python python3

Last synced: 03 Apr 2025

https://github.com/andrew-lei/intervals

Interval arithmetic for Python using algebraic data types

algebraic-data-types interval-arithmetic

Last synced: 13 May 2026

https://github.com/vladimir-skvortsov/spbstu-interval-anylysis

Лабораторные работы по дисциплине «интервальный анализ».

data-structures interval interval-analysis interval-arithmetic math python range

Last synced: 16 Apr 2026

https://github.com/tadd/int

An interval-arithmetic-ish library with a terrible name.

arithmetic int intangible intelligent intensive interesting interval-arithmetic library not-integer numeric ruby terrible

Last synced: 30 Aug 2025

https://github.com/soupstraw/hafar

Affine arithmetic library for Haskell

affine-arithmetic haskell interval-arithmetic numerical-methods

Last synced: 26 Mar 2025

https://github.com/bredeson/intervals

Pure Python implementation of NCLS data structures for interval operations

interval-arithmetic nested-containment-list python3

Last synced: 12 Mar 2026