Repositories list

• IntervalArithmetic.jl

  Public
  Library for validated numerics using interval arithmetic

  juliainterval-arithmeticrigorous-numerics

  Julia

  •

  Other

  •71•299•21•6•Updated Nov 13, 2024Nov 13, 2024

• IntervalRootFinding.jl

  Public
  Library for finding the roots of a function using interval arithmetic

  juliainterval-arithmeticroot-finding-methods

  Julia

  •

  Other

  •25•129•27•8•Updated Nov 6, 2024Nov 6, 2024

• TaylorModels.jl

  Public
  Rigorous function approximation using Taylor models in Julia

  Julia

  •

  Other

  •15•63•16•9•Updated Nov 6, 2024Nov 6, 2024

• AffineArithmetic.jl

  Public
  Affine arithmetic in Julia

  Julia

  •

  Other

  •3•10•13•2•Updated Oct 19, 2024Oct 19, 2024

• IntervalConstraintProgramming.jl

  Public
  Calculate rigorously the feasible region for a set of real-valued inequalities with Julia

  Julia

  •

  Other

  •16•63•17•2•Updated Sep 7, 2024Sep 7, 2024

• IntervalBoxes.jl

  Public
  Multi-dimensional interval boxes in Julia

  interval-arithmetic

  Julia

  •

  MIT License

  •1•4•1•2•Updated Aug 25, 2024Aug 25, 2024

• IntervalContractors.jl

  Public
  Interval contractors and inverse (reverse) functions for Julia

  interval-arithmeticcontractorsreverse-functions+ 1inverse-functions

  Julia

  •

  Other

  •10•10•11•2•Updated Aug 24, 2024Aug 24, 2024

• IntervalLinearAlgebra.jl

  Public
  Linear algebra done rigorously

  linear-algebranumericsinterval-arithmetic

  Julia

  •

  MIT License

  •9•36•10•1•Updated Aug 13, 2024Aug 13, 2024

• juliaintervals.github.io

  Public
  JuliaIntervals webpage

  Julia

  •3•4•0•0•Updated Jun 11, 2024Jun 11, 2024

• CRlibm.jl

  Public
  Correctly-rounded mathematical functions for Julia

  Julia

  •

  Other

  •9•8•2•0•Updated Aug 22, 2023Aug 22, 2023

• ValidatedNumerics.jl

  Public
  Rigorous floating-point calculations with interval arithmetic in Julia

  Julia

  •

  Other

  •17•85•25•4•Updated Feb 4, 2023Feb 4, 2023

• ITF1788.jl

  Public
  Parser to translate ITL to Julia

  Julia

  •

  MIT License

  •2•4•4•0•Updated Feb 7, 2022Feb 7, 2022

• IntervalOptimisation.jl

  Public
  Rigorous global optimisation in pure Julia

  juliaglobal-optimizationinterval-arithmetic

  Julia

  •

  Other

  •21•56•15•12•Updated Jan 23, 2022Jan 23, 2022

• SetRounding.jl

  Public
  Julia

  •

  Other

  •5•1•2•1•Updated Mar 19, 2021Mar 19, 2021

• IntervalSpecialFunctions.jl

  Public
  Special functions for IntervalArithmetic.jl

  Julia

  •

  Other

  •4•8•4•3•Updated May 23, 2020May 23, 2020

• CharibdeOptim.jl

  Public
  Julia

  •

  ISC License

  •3•8•6•4•Updated Feb 28, 2020Feb 28, 2020

• MPFI.jl

  Public
  Julia wrapper of the MPFI multi-precision interval library

  juliainterval-arithmeticmulti-precision

  Julia

  •

  Other

  •2•1•0•1•Updated Feb 8, 2020Feb 8, 2020

• IntervalConstraintProgrammingNotebooks

  Public
  Example notebooks for the IntervalConstraintProgramming.jl Julia package

  constraintsintervals

  Jupyter Notebook

  •1•8•0•0•Updated May 4, 2017May 4, 2017