# JuliaReach/LazySets.jl

<https://repo.masters-masters.com/en/repos/JuliaReach/LazySets.jl>

[Home](https://repo.masters-masters.com/en) › [JuliaReach](https://repo.masters-masters.com/en/owners/JuliaReach) › [LazySets.jl](https://repo.masters-masters.com/en/repos/JuliaReach/LazySets.jl)

JuliaReach/LazySets.jl has 258 stars on GitHub. Its RepoMasters card: Alpha tier. Scalable symbolic-numeric set computations in Julia Language: Julia.

| Field | Value |
| --- | --- |
| Owner | [JuliaReach](https://repo.masters-masters.com/en/owners/JuliaReach) |
| Stars | 258 |
| Forks | 42 |
| Language | [Julia](https://repo.masters-masters.com/en/languages/julia) |
| License | None |
| Created | 2017 |
| Topics | julia, convex-sets, formal-verification, reachability-analysis, lazy-evaluation, polyhedra, convex-hull, calculus, sets, geometry |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [JuliaReach/LazySets.jl](https://github.com/JuliaReach/LazySets.jl) |

## Repository

Scalable symbolic-numeric set computations in Julia

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by JuliaReach

- [JuliaReach/ReachabilityAnalysis.jl · ★ 218 · Julia · Prototype](https://repo.masters-masters.com/en/repos/JuliaReach/ReachabilityAnalysis.jl)

## Nearby in Julia

- [brian-j-smith/Mamba.jl · ★ 260 · Julia · Alpha](https://repo.masters-masters.com/en/repos/brian-j-smith/Mamba.jl)
- [fredrikekre/Runic.jl · ★ 260 · Julia · Alpha](https://repo.masters-masters.com/en/repos/fredrikekre/Runic.jl)
- [FluxML/NNlib.jl · ★ 259 · Julia · Alpha](https://repo.masters-masters.com/en/repos/FluxML/NNlib.jl)
- [JuliaArrays/BlockArrays.jl · ★ 257 · Julia · Alpha](https://repo.masters-masters.com/en/repos/JuliaArrays/BlockArrays.jl)
- [JuliaLinearAlgebra/Octavian.jl · ★ 256 · Julia · Alpha](https://repo.masters-masters.com/en/repos/JuliaLinearAlgebra/Octavian.jl)
- [JuliaLang/AllocCheck.jl · ★ 256 · Julia · Alpha](https://repo.masters-masters.com/en/repos/JuliaLang/AllocCheck.jl)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.