Skip to content

Pinned Loading

  1. IntervalArithmetic.jl IntervalArithmetic.jl Public

    Library for validated numerics using interval arithmetic

    Julia 328 71

  2. IntervalRootFinding.jl IntervalRootFinding.jl Public

    Library for finding the roots of a function using interval arithmetic

    Julia 132 27

  3. IntervalLinearAlgebra.jl IntervalLinearAlgebra.jl Public

    Linear algebra done rigorously

    Julia 41 11

  4. IntervalConstraintProgramming.jl IntervalConstraintProgramming.jl Public

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

    Julia 66 16

  5. IntervalOptimisation.jl IntervalOptimisation.jl Public

    Rigorous global optimisation

    Julia 65 21

  6. TaylorModels.jl TaylorModels.jl Public

    Rigorous function approximation using Taylor models in Julia

    Julia 64 17

Repositories

Showing 10 of 21 repositories
  • IntervalBoxes.jl Public

    Multi-dimensional interval boxes

    JuliaIntervals/IntervalBoxes.jl's past year of commit activity
    Julia 4 3 1 1 Updated Sep 12, 2026
  • IntervalArithmetic.jl Public

    Library for validated numerics using interval arithmetic

    JuliaIntervals/IntervalArithmetic.jl's past year of commit activity
    Julia 328 71 14 (4 issues need help) 9 Updated Sep 10, 2026
  • TaylorModels.jl Public

    Rigorous function approximation using Taylor models in Julia

    JuliaIntervals/TaylorModels.jl's past year of commit activity
    Julia 64 17 17 4 Updated Sep 7, 2026
  • JuliaIntervals/ReversePropagation.jl's past year of commit activity
    Julia 52 MIT 7 9 6 Updated Sep 4, 2026
  • IntervalRootFinding.jl Public

    Library for finding the roots of a function using interval arithmetic

    JuliaIntervals/IntervalRootFinding.jl's past year of commit activity
    Julia 132 27 22 0 Updated Jun 24, 2026
  • IntervalLinearAlgebra.jl Public

    Linear algebra done rigorously

    JuliaIntervals/IntervalLinearAlgebra.jl's past year of commit activity
    Julia 41 MIT 11 11 7 Updated Jun 24, 2026
  • AffineArithmetic.jl Public

    Affine arithmetic in Julia

    JuliaIntervals/AffineArithmetic.jl's past year of commit activity
    Julia 12 4 13 2 Updated Jun 23, 2026
  • IntervalOptimisation.jl Public

    Rigorous global optimisation

    JuliaIntervals/IntervalOptimisation.jl's past year of commit activity
    Julia 65 21 15 15 Updated Jun 19, 2026
  • IntervalConstraintProgramming.jl Public

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

    JuliaIntervals/IntervalConstraintProgramming.jl's past year of commit activity
    Julia 66 16 12 6 Updated May 8, 2026
  • IntervalContractors.jl Public

    Interval contractors and inverse (reverse) functions for Julia

    JuliaIntervals/IntervalContractors.jl's past year of commit activity
    Julia 11 9 10 4 Updated May 8, 2026