GitHub repository: JuliaReach/Reachability.jl
Primary language: Julia
Description: Reachability and Safety of Nondeterministic Dynamical Systems