AlphaUncommon
JuliaReach/LazySets.jl
Scalable symbolic-numeric set computations in Julia
- Owner
- JuliaReach (organization)
- Stars
- Stars: 258
- Forks
- Forks: 42
- Language
- Julia
- License
- None
- Created
- 2017
- Topics
- juliaconvex-setsformal-verificationreachability-analysislazy-evaluationpolyhedraconvex-hullcalculussetsgeometry
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by JuliaReach
All 2 repos by JuliaReach- JuliaReach/ReachabilityAnalysis.jlStars: 218JuliaPrototype
Nearby in Julia
All Julia repos- brian-j-smith/Mamba.jlStars: 260JuliaAlpha
- fredrikekre/Runic.jlStars: 260JuliaAlpha
- FluxML/NNlib.jlStars: 259JuliaAlpha
- JuliaArrays/BlockArrays.jlStars: 257JuliaAlpha
- JuliaLinearAlgebra/Octavian.jlStars: 256JuliaAlpha
- JuliaLang/AllocCheck.jlStars: 256JuliaAlpha