GitHub repository: JuliaReach/ReachabilityAnalysis.jl
Primary language: Julia
Description: Computing reachable states of dynamical systems in Julia