SignalTemporalLogic

Last updated: Oct 26, 2026

Cumulative

Total Downloads

Lifetime Growth (cumulative)

Downloads by Region

Dependencies

55 packages (2 direct, 53 transitive)

Package	Depth ↑	Downloads ↓
Zygote	Direct	85,231
PlutoUI	Direct	10,450
PrecompileTools	Depth 2	902,827
LogExpFunctions	Depth 2	830,725
SpecialFunctions	Depth 2	759,080
MacroTools	Depth 2	698,644
NaNMath	Depth 2	663,969
Reexport	Depth 2	640,995
FillArrays	Depth 2	623,446
ForwardDiff	Depth 2	576,007
DiffRules	Depth 2	507,887
ChainRulesCore	Depth 2	485,470
Statistics	Depth 2	401,136
ColorTypes	Depth 2	399,363
FixedPointNumbers	Depth 2	317,498
GPUArraysCore	Depth 2	313,510
AbstractFFTs	Depth 2	309,626
URIs	Depth 2	304,808
ZygoteRules	Depth 2	109,300
ChainRules	Depth 2	89,097
IRTools	Depth 2	85,604
IOCapture	Depth 2	76,955
MIMEs	Depth 2	37,024
AbstractPlutoDingetjes	Depth 2	25,614
HypertextLiteral	Depth 2	19,901
Hyperscript	Depth 2	12,051
Downloads	Depth 2	3,558
Preferences	Depth 3	1,134,598
DocStringExtensions	Depth 3	778,389
IrrationalConstants	Depth 3	714,273
Adapt	Depth 3	667,401
OpenSpecFun_jll	Depth 3	650,659
CommonSubexpressions	Depth 3	498,701
DiffResults	Depth 3	498,681
InverseFunctions	Depth 3	484,403
StructArrays	Depth 3	211,498
RealDot	Depth 3	134,394
Tricks	Depth 3	111,910
SparseInverseSubset	Depth 3	82,066
ChangesOfVariables	Depth 3	60,487
NetworkOptions	Depth 3	5,155
OpenLibm_jll	Depth 3	3,992
LibCURL	Depth 3	3,556
ArgTools	Depth 3	3,552
StaticArraysCore	Depth 4	688,898
DataAPI	Depth 4	664,609
Tables	Depth 4	651,605
ConstructionBase	Depth 4	587,504
TOML	Depth 4	8,959
LibCURL_jll	Depth 4	3,941
MozillaCACerts_jll	Depth 4	3,792
OrderedCollections	Depth 5	953,423
IteratorInterfaceExtensions	Depth 5	578,463
TableTraits	Depth 5	570,190
DataValueInterfaces	Depth 5	569,419

Dependents

No packages in the registry depend on this package.