Catalogue tag

#reachability-analysis

Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.

3 records

Tagged “reachability-analysis”Ranked by health index

PyPI · npm

84Excellenthealth index

owasp-dep-scan/dep-scan

OWASP dep-scan is a next-generation security and risk audit tool based on known vulnerabilities, advisories, and license limitations for project dependencies. Both local repositories and container images are supported as the input, and the tool is ideal for integration.

Python★ 1,285Sep 18, 2026

MITSep 18, 2026 · metrics 2.10.0

—

78Goodhealth index

JuliaReach/LazySets.jl

Scalable symbolic-numeric set computations in Julia

Julia★ 260Sep 10, 2026

Custom licenseSep 10, 2026 · metrics 2.10.0

npm

71Goodhealth index

AppThreat/atom

atom is a novel intermediate representation for applications and a standalone tool that is powered by chen.

Rust · Scala★ 98Sep 15, 2026

MITSep 15, 2026 · metrics 2.10.0