Top 6 Reachability Open-Source Projects

RealReachability

0 3,090 0.0 Objective-C

We need to observe the REAL reachability of network. That's what RealReachability do.
Connectivity

1 1,633 5.8 Swift

🌐 Makes Internet connectivity detection more robust by detecting Wi-Fi networks without Internet access.
InfluxDB

www.influxdata.com sponsored

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
is-online

2 1,192 1.6 JavaScript

Check if the internet connection is up
RxReachability

1 284 0.0 Swift

RxSwift bindings for Reachability
SMPT

1 27 6.4 Python

SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).

Project mention: Petri Net for tokio ? | /r/rust | 2023-09-05

I also found https://github.com/nicolasAmat/SMPT maybe it should be used because SMT, Z3 looks familiar. It's used in fancy new theorem provers.

ReachabilityX

1 9 3.6 Swift

Make it easier to observe network connectivity in SwiftUI.

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).