GitHub repository: JuliaReach/JuliaReachBase.jl
Primary language: Julia
Description: The base library for the JuliaReach ecosystem