JuliaReach/LazySets.jl
Scalable symbolic-numeric set computations in Julia
GitHub repository with 259 stars and 39 forks.
Language: Julia
Topics: julia, convex-sets, formal-verification, reachability-analysis, lazy-evaluation, polyhedra, convex-hull, calculus, sets, geometry