GitHub repository: JuliaIntervals/IntervalLinearAlgebra.jl
Primary language: Julia
Description: Linear algebra done rigorously