Skip to content
@JuliaReach

JuliaReach

Reachability Computations for Dynamical Systems in Julia

Pinned Loading

  1. LazySets.jl LazySets.jl Public

    Scalable symbolic-numeric set computations in Julia

    Julia 258 42

  2. ReachabilityAnalysis.jl ReachabilityAnalysis.jl Public

    Computing reachable states of dynamical systems in Julia

    Julia 218 17

  3. ClosedLoopReachability.jl ClosedLoopReachability.jl Public

    Reachability analysis for closed-loop control systems in Julia

    Polar 47 4

  4. MathematicalSystems.jl MathematicalSystems.jl Public

    Systems definitions in Julia

    Julia 43 7

  5. RangeEnclosures.jl RangeEnclosures.jl Public

    Enclosures of real-valued functions in Julia

    Julia 23 3

  6. IntervalMatrices.jl IntervalMatrices.jl Public

    Matrices with interval coefficients in Julia

    Julia 19 2

Repositories

Showing 10 of 60 repositories
  • RangeEnclosures.jl Public

    Enclosures of real-valued functions in Julia

    JuliaReach/RangeEnclosures.jl's past year of commit activity
    Julia 23 MIT 3 12 3 Updated Nov 7, 2026
  • MathematicalSystems.jl Public

    Systems definitions in Julia

    JuliaReach/MathematicalSystems.jl's past year of commit activity
    Julia 43 7 27 2 Updated Nov 7, 2026
  • ReachabilityAnalysis.jl Public

    Computing reachable states of dynamical systems in Julia

    JuliaReach/ReachabilityAnalysis.jl's past year of commit activity
    Julia 218 MIT 17 140 12 Updated Nov 6, 2026
  • NeuralNetworkReachability.jl Public

    Set propagation for neural networks in Julia

    JuliaReach/NeuralNetworkReachability.jl's past year of commit activity
    Julia 2 MIT 0 5 4 Updated Nov 5, 2026
  • Flowstar.jl Public

    Julia wrapper for Flow*

    JuliaReach/Flowstar.jl's past year of commit activity
    Julia 3 MIT 0 1 1 Updated Nov 5, 2026
  • BernsteinExpansions.jl Public

    Computing Bernstein coefficients of multivariate polynomials in Julia

    JuliaReach/BernsteinExpansions.jl's past year of commit activity
    Julia 10 2 8 3 Updated Nov 5, 2026
  • ControllerFormats.jl Public

    Controller formats in Julia

    JuliaReach/ControllerFormats.jl's past year of commit activity
    Julia 0 MIT 0 0 0 Updated Nov 5, 2026
  • ClosedLoopReachability.jl Public

    Reachability analysis for closed-loop control systems in Julia

    JuliaReach/ClosedLoopReachability.jl's past year of commit activity
    Polar 47 MIT 4 8 8 Updated Nov 4, 2026
  • LazySets.jl Public

    Scalable symbolic-numeric set computations in Julia

    JuliaReach/LazySets.jl's past year of commit activity
    Julia 258 42 354 (4 issues need help) 10 Updated Nov 4, 2026
  • CarlemanLinearization.jl Public

    Carleman linearization for dynamical systems in Julia

    JuliaReach/CarlemanLinearization.jl's past year of commit activity
    Julia 5 MIT 2 1 0 Updated Nov 4, 2026
View all repositories