ReachabilityAnalysis

JuliaHub·Source·Documentation

Last updated: Feb 7, 2026

Downloads last 30 days

Downloads last week

Downloads last day

Downloads last 30 days

Downloads last week

Downloads last day

Total Downloads

Downloads by Region

Dependencies

126 packages (16 direct, 110 transitive)

Package	Depth ↑	Downloads ↓
Requires	Direct	145,507
StaticArrays	Direct	118,284
Reexport	Direct	85,135
RecipesBase	Direct	81,371
Parameters	Direct	53,561
CommonSolve	Direct	51,116
IntervalArithmetic	Direct	14,878
TaylorSeries	Direct	2,371
LazySets	Direct	1,379
ReachabilityBase	Direct	673
TaylorIntegration	Direct	582
MathematicalSystems	Direct	516
HybridSystems	Direct	490
TaylorModels	Direct	434
IntervalMatrices	Direct	421
CarlemanLinearization	Direct	141
OrderedCollections	Depth 2	683,375
MacroTools	Depth 2	136,742
PrecompileTools	Depth 2	129,877
Statistics	Depth 2	105,348
StaticArraysCore	Depth 2	99,427
FillArrays	Depth 2	78,536
ExprTools	Depth 2	77,598
PkgVersion	Depth 2	61,075
UnPack	Depth 2	57,285
MappedArrays	Depth 2	43,324
Graphs	Depth 2	35,465
RecursiveArrayTools	Depth 2	26,414
JuMP	Depth 2	24,565
DiffEqBase	Depth 2	17,441
OpenBLASConsistentFPCSR_jll	Depth 2	13,577
CRlibm	Depth 2	12,010
RoundingEmulator	Depth 2	11,537
GLPK	Depth 2	7,179
MultivariatePolynomials	Depth 2	6,857
IntervalRootFinding	Depth 2	889
Espresso	Depth 2	602
DocStringExtensions	Depth 3	676,890
DataStructures	Depth 3	671,027
Preferences	Depth 3	198,504
ForwardDiff	Depth 3	93,008
Adapt	Depth 3	76,430
Setfield	Depth 3	69,250
ArrayInterface	Depth 3	56,167
GPUArraysCore	Depth 3	46,237
MuladdMacro	Depth 3	45,089
SimpleTraits	Depth 3	44,062
Static	Depth 3	41,047
FunctionWrappers	Depth 3	40,252
SciMLStructures	Depth 3	38,730
FastClosures	Depth 3	37,796
Inflate	Depth 3	34,668
FunctionWrappersWrappers	Depth 3	34,012
MutableArithmetics	Depth 3	33,131
ConcreteStructs	Depth 3	32,221
FastBroadcast	Depth 3	30,207
ArnoldiMethod	Depth 3	30,153
TruncatedStacktraces	Depth 3	29,302
MathOptInterface	Depth 3	28,471
SciMLBase	Depth 3	24,518
SciMLOperators	Depth 3	19,045
SymbolicIndexingInterface	Depth 3	17,373
BracketingNonlinearSolve	Depth 3	12,653
FastPower	Depth 3	11,999
CRlibm_jll	Depth 3	11,337
GLPK_jll	Depth 3	7,362
BranchAndPrune	Depth 3	263
LogExpFunctions	Depth 4	665,207
CodecZlib	Depth 4	139,119
IteratorInterfaceExtensions	Depth 4	122,319
JSON	Depth 4	120,865
NaNMath	Depth 4	118,354
DiffRules	Depth 4	97,185
CommonSubexpressions	Depth 4	96,951
DiffResults	Depth 4	95,580
ConstructionBase	Depth 4	88,860
SpecialFunctions	Depth 4	86,691
EnumX	Depth 4	78,105
AbstractTrees	Depth 4	58,684
IfElse	Depth 4	58,271
ADTypes	Depth 4	57,378
CommonWorldInvalidations	Depth 4	56,146
StaticArrayInterface	Depth 4	53,980
SciMLPublic	Depth 4	50,629
Accessors	Depth 4	42,686
BenchmarkTools	Depth 4	38,709
Polyester	Depth 4	31,817
CodecBzip2	Depth 4	22,254
RuntimeGeneratedFunctions	Depth 4	20,315
PreallocationTools	Depth 4	18,696
NonlinearSolveBase	Depth 4	16,756
SciMLLogging	Depth 4	14,146
Moshi	Depth 4	12,777
StrideArraysCore	Depth 4	11,977
TOML	Depth 4	839
IrrationalConstants	Depth 5	627,734
Parsers	Depth 5	156,954
Compat	Depth 5	123,656
OpenSpecFun_jll	Depth 5	123,345
TranscodingStreams	Depth 5	121,411
Bzip2_jll	Depth 5	109,240
LoggingExtras	Depth 5	79,732
InverseFunctions	Depth 5	73,084
StructUtils	Depth 5	72,186
ChainRulesCore	Depth 5	66,592
DifferentiationInterface	Depth 5	59,675
CompositionsBase	Depth 5	58,069
TimerOutputs	Depth 5	54,989
ThreadingUtilities	Depth 5	47,519
LayoutPointers	Depth 5	46,994
BitTwiddlingConvenienceFunctions	Depth 5	46,884
CloseOpenIntervals	Depth 5	46,700
PolyesterWeave	Depth 5	46,655
ManualMemory	Depth 5	46,569
SIMDTypes	Depth 5	46,541
ExproniconLite	Depth 5	38,623
Jieko	Depth 5	33,348
MaybeInplace	Depth 5	30,260
CPUSummary	Depth 5	27,383
EnzymeCore	Depth 5	19,325
ChangesOfVariables	Depth 5	13,560
SciMLJacobianOperators	Depth 5	12,196
OpenLibm_jll	Depth 5	634
Zlib_jll	Depth 5	276
SHA	Depth 5	68
CpuId	Depth 6	47,471

Dependents

1 package (1 direct) · 1 downloads (last 30 days)

Package	Depth ↑	Downloads ↓
ClosedLoopReachability	Direct	1