GitHub repository: JuliaArbTypes/ArbReals.jl
Primary language: Julia
Description: real intervals with floating point bounds (uses the Arb library)