interval-arithmetic

Star

Here are 75 public repositories matching this topic...

Language:All

Filter by language

All75 Python17 C++12 Julia12 Jupyter Notebook4 Rust4 MATLAB3 Ada2 C2 C#2 Haskell2

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

stillwater-sc /universal

Sponsor

Star480

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.

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

UpdatedNov 4, 2025
C++

flintlib /arb

Star471

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

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

UpdatedMar 16, 2024
C

google /autobound

Star362

AutoBound automatically computes upper and lower bounds on functions.

interval-arithmetic autodiff jax

UpdatedOct 24, 2025
Python

JuliaIntervals /IntervalArithmetic.jl

Star317

Library for validated numerics using interval arithmetic

julia interval-arithmetic rigorous-numerics

UpdatedNov 11, 2025
Julia

JuliaReach /ReachabilityAnalysis.jl

Star206

Computing reachable states of dynamical systems in Julia

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

UpdatedNov 7, 2025
Julia

JuliaIntervals /IntervalRootFinding.jl

Star131

Library for finding the roots of a function using interval arithmetic

julia interval-arithmetic root-finding-methods

UpdatedOct 31, 2025
Julia

unageek /graphest

Star123

A faithful graphing calculator

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

UpdatedOct 5, 2025
Rust

mauriciopoppe /interval-arithmetic

Star95

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

math interval interval-arithmetic precision interval-arithmetic-evaluator

UpdatedApr 21, 2025
TypeScript

rnabioco /valr

Star94

Genome Interval Arithmetic in R

genome interval-arithmetic bedtools

UpdatedOct 21, 2025
R

JuliaIntervals /IntervalOptimisation.jl

Star62

Rigorous global optimisation

julia global-optimization interval-arithmetic

UpdatedSep 8, 2025
Julia

unageek /inari

Star44

A Rust implementation of interval arithmetic (IEEE 1788)

rust arithmetic interval floating-point interval-arithmetic intervals validated rigorous inari ieee1788

UpdatedJan 26, 2025
Rust

JuliaIntervals /IntervalLinearAlgebra.jl

Star39

Linear algebra done rigorously

linear-algebra numerics interval-arithmetic

UpdatedAug 13, 2024
Julia

jyswjjgdwtdtj /CsGrafeq

Star39

A cross-platform geometry sketchpad and implicit function plotting tool, made by .NET Avalonia

education csharp math graph geometry mathematics avalonia interval-arithmetic

UpdatedNov 11, 2025
C#

ariadne-cps /ariadne

Star29

C++ framework for rigorous computation on cyber-physical systems

interval-arithmetic hybrid-systems formal-verification numerical-analysis cyber-physical-systems reachability-analysis

UpdatedJul 16, 2025
C++

loliGothicK /Cranberries

Sponsor

Star28

cpp stream-api interval-arithmetic

UpdatedJun 26, 2022
C++

staircase-dev /piso

Star26

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

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