GitHub repository: JuliaReach/ReachabilityBase.jl
Primary language: Julia
Description: Base library for the JuliaReach ecosystem