GitHub topics: reachability

Repositories

sindresorhus/is-online

Check if the internet connection is up

Language: JavaScript - Size: 88.9 KB - Last synced at: about 13 hours ago - Pushed at: 9 months ago - Stars: 1,254 - Forks: 83

ultimate-pa/ultimate

The Ultimate program analysis framework.

Language: Java - Size: 879 MB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 217 - Forks: 44

vsanthanam/NetworkReachability

Modern Network Reachability in Swift using Structured Concurrency

Language: Swift - Size: 19.7 MB - Last synced at: 7 days ago - Pushed at: 21 days ago - Stars: 21 - Forks: 6

antonio-war/SwiftyReachability

SwiftyReachability is a simple and lightweight network interface manager written in Swift

Language: Swift - Size: 54.7 KB - Last synced at: 7 days ago - Pushed at: 7 months ago - Stars: 8 - Forks: 1

rwbutler/Connectivity

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

Language: Swift - Size: 1.33 MB - Last synced at: 10 days ago - Pushed at: 5 months ago - Stars: 1,669 - Forks: 83

HQarroum/is-online-emitter

:zap: Receive events about gain and loss of Internet connectivity.

Language: JavaScript - Size: 384 KB - Last synced at: about 20 hours ago - Pushed at: 7 months ago - Stars: 9 - Forks: 1

AlexMili/Reachable

Check if a URL exists and is reachable

Language: Python - Size: 72.3 KB - Last synced at: 7 days ago - Pushed at: 3 months ago - Stars: 4 - Forks: 0

RxSwiftCommunity/RxReachability

RxSwift bindings for Reachability

Language: Swift - Size: 3.31 MB - Last synced at: 15 days ago - Pushed at: over 2 years ago - Stars: 284 - Forks: 79

alecrim/Reachability

A new, clean and lean network interface reachability library written in Swift.

Language: Swift - Size: 14.6 KB - Last synced at: 19 days ago - Pushed at: almost 2 years ago - Stars: 12 - Forks: 1

tonymillion/Reachability

ARC and GCD Compatible Reachability Class for iOS and MacOS. Drop in replacement for Apple Reachability

Language: Objective-C - Size: 139 KB - Last synced at: 2 days ago - Pushed at: about 1 year ago - Stars: 6,980 - Forks: 1,257

dustturtle/RealReachability

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

Language: Objective-C - Size: 161 KB - Last synced at: 8 days ago - Pushed at: over 2 years ago - Stars: 3,105 - Forks: 485

"TCMPortMapper.framework" is a clean and nice Objective-C API to provide knowledge about and improve the reachability of your machine from the big bad internet. "Port Map.app" is a nice standalone sample app using the framework to display reachability and enable setup of Port Mappings if your router allows for it.

Language: C - Size: 7.59 MB - Last synced at: 15 days ago - Pushed at: almost 5 years ago - Stars: 135 - Forks: 22

verivital/nnv

Neural Network Verification Software Tool

Language: MATLAB - Size: 2.77 GB - Last synced at: 24 days ago - Pushed at: 24 days ago - Stars: 122 - Forks: 51

sindresorhus/is-reachable

Check if servers are reachable

Language: JavaScript - Size: 87.9 KB - Last synced at: 4 days ago - Pushed at: over 1 year ago - Stars: 380 - Forks: 40

EthanJamesLew/AutoKoopman

AutoKoopman - automated Koopman operator methods for data-driven dynamical systems analysis and control.

Language: Python - Size: 38 MB - Last synced at: 9 days ago - Pushed at: 12 months ago - Stars: 72 - Forks: 9

Local-Connectivity-Lab/lcl-ping

A Ping library written in Swift for network latency measurement and reachability monitoring. Built with SwiftNIO

Language: Swift - Size: 400 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 20 - Forks: 3

vectorform/Yarp

Yarp (Yet another reachability pod) is a reachability framework with a focus on reliability and simplicity.

Language: Swift - Size: 58.6 KB - Last synced at: about 15 hours ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 0

mirego/konnectivity

📡 A lightweight Kotlin Multiplatform library to monitor network state changes

Language: Kotlin - Size: 128 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 9 - Forks: 0

ITzTravelInTime/TINURecovery

macOS Swift library, from TINU, to detect: Recovery Mode, SIP, Sandbox and Current User. Also providing NVRAM functions.

Language: Swift - Size: 97.7 KB - Last synced at: 22 days ago - Pushed at: almost 3 years ago - Stars: 7 - Forks: 1

sindresorhus/is-online-cli

Check if the internet connection is up

Language: JavaScript - Size: 18.6 KB - Last synced at: 7 days ago - Pushed at: 9 months ago - Stars: 67 - Forks: 4

ezefranca/EFInternetIndicator

❌📱 A little swift Internet error status indicator using ReachabilitySwift

Language: Swift - Size: 257 KB - Last synced at: 11 days ago - Pushed at: almost 6 years ago - Stars: 129 - Forks: 16

andreilob/ConnectionKage

Lightweight pure Swift Reachability SDK

Language: Swift - Size: 9.77 KB - Last synced at: 27 days ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0

Kikobeats/reachable-url

Given an URL, it resolves as fast as possible, performing a GET without downloading the body.

Language: JavaScript - Size: 218 KB - Last synced at: 11 days ago - Pushed at: 5 months ago - Stars: 42 - Forks: 2

Isuru-Nanayakkara/Reach 📦

A simple class to check for internet connection availability in Swift.

Language: Swift - Size: 40 KB - Last synced at: 5 months ago - Pushed at: over 5 years ago - Stars: 455 - Forks: 119

Dr-Eti/ISMiR-ISM_in_R

Interpretive Structural Modelling (ISM). Returns a minimum-edge hierarchical digraph following J.N. Warfield's graph partitioning algorithm.

Language: R - Size: 81.1 KB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0

traffordDataLab/leaflet.reachability

Plugin for the Leaflet JavaScript library to show areas of reachability based on time or distance for different modes of travel using the openrouteservice isochrones API.

Language: JavaScript - Size: 252 KB - Last synced at: 5 months ago - Pushed at: about 4 years ago - Stars: 66 - Forks: 7

jamesmontemagno/ConnectivityPlugin 📦

Connectivity Plugin for Xamarin and Windows

Language: C# - Size: 872 KB - Last synced at: 17 days ago - Pushed at: about 2 years ago - Stars: 264 - Forks: 74

Friedjof/PingPing

PingPing is a Python tool that measures latency between hosts and sends the results to an MQTT server. It runs as a daemon and periodically publishes latency, packet loss, and reachability metrics.

Language: Python - Size: 22.5 KB - Last synced at: 15 days ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

uber/arachne

An always-on framework that performs end-to-end functional network testing for reachability, latency, and packet loss

Language: Go - Size: 120 KB - Last synced at: 6 months ago - Pushed at: about 1 year ago - Stars: 395 - Forks: 30

1000ch/reachable-urls

Check URLs are reachable in text 🕵️

Language: JavaScript - Size: 2.16 MB - Last synced at: 19 days ago - Pushed at: 9 months ago - Stars: 29 - Forks: 2

TimOliver/TOReachability

A lightweight, unit-tested class that detects network status changes on iOS.

Language: Objective-C - Size: 652 KB - Last synced at: 16 days ago - Pushed at: about 1 year ago - Stars: 21 - Forks: 3

gabrieltheodoropoulos/GTNetMon-Swift-Package

Integrate network monitoring capabilities in Swift projects using the GTNetMon Swift Package!

Language: Swift - Size: 15.6 KB - Last synced at: 2 days ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

csyezheng/ip-scanner

This script is used to find the fastest IP for a given site such as Google Translate, Cloudflare, GitHub, etc.

Language: Go - Size: 60.5 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 85 - Forks: 18

Wangbaiyue007/rtd-pybullet

Running ARMTD in pybullet and create rendered animation.

Language: Python - Size: 557 MB - Last synced at: 11 months ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

rebeloper/NetworkState

Internet Connectivity for SwiftUI with NWPathMonitor

Language: Swift - Size: 5.86 KB - Last synced at: 6 days ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 2

rohitdureja/SimplePDR

A reference implementation of PDR for boolean transition systems

Language: C++ - Size: 8.02 MB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 8 - Forks: 2

shial4/SReachability

Simple reachability monitor

Language: Swift - Size: 10.7 KB - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 0

istvan-kreisz/CombineReachability

Combine publishers for Reachability

Language: Swift - Size: 8.79 KB - Last synced at: 2 days ago - Pushed at: about 5 years ago - Stars: 13 - Forks: 2

marip8/reach Fork of ros-industrial/reach

Language: C++ - Size: 11 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 3 - Forks: 0

nicolasAmat/SMPT

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

Language: Python - Size: 8.91 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 25 - Forks: 4

minomy13/server-reachability

This is a node.js module, which allows you to check, if different types of servers are online. 💾📡

Language: JavaScript - Size: 446 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 2

sakebook/Reachability

You can easily access the top of the screen in Android. Like a iPhone 6 & 6 Plus.

Language: Java - Size: 1.69 MB - Last synced at: 6 months ago - Pushed at: about 9 years ago - Stars: 258 - Forks: 45

roahmlab/reachability-based_trajectory_safeguard

We use reachability to ensure the safety of a decision agent acting on a dynamic system in real-time. We compute the Forward Reachable Set offline and use it online to adjust any potentially unsafe decisions that cause a collision with an obstacle.

Language: MATLAB - Size: 57.6 MB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 21 - Forks: 9

Andy-Miao/HMReachability

Language: Objective-C - Size: 23.4 KB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

Ban-Tang/BTNetworkReachabilityManager

Easy way to notify net work status.

Language: Objective-C - Size: 51.8 KB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

lorenzo-papa/LinuxBash

Utility Linux Bash

Language: Shell - Size: 0 Bytes - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

taangle/reachability-viz

Parameterized visualization of reachable and unsafe state sets

Language: JavaScript - Size: 90.7 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

dscyrescotti/ReachabilityX

Make it easier to observe network connectivity in SwiftUI.

Language: Swift - Size: 42 KB - Last synced at: 11 days ago - Pushed at: over 3 years ago - Stars: 9 - Forks: 0

ggthedev/Reachability.swift Fork of ashleymills/Reachability.swift

Replacement for Apple's Reachability re-written in Swift with closures

Language: Swift - Size: 292 KB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

modestyachts/stochastic-rec-reachability

We propose an audit tool for recommendation systems based on notions of algorithmic rechability.

Language: Jupyter Notebook - Size: 56.6 MB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 5 - Forks: 0

CRLab/fetch_reachability_config

config files for graspit reachability_energy_plugin

Language: CMake - Size: 4.87 MB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

readcast/stripe-reachability Fork of stripe/stripe-reachability

A bash script to test access to the Stripe API

Size: 4.88 KB - Last synced at: over 1 year ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

alaagawish/InDoor-User

E-Commerce app for user to order or add to wishlist

Language: Swift - Size: 2.15 MB - Last synced at: 12 months ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 1

ChristopherA8/togglereachability-sim

Toggle reachability view in iOS simulator with the volume buttons.

Language: Makefile - Size: 1.95 KB - Last synced at: 1 day ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 0

jnareb/git-commit-graph-ext

Extensions to Git's commit-graph feature, including reachability indexes / labels for the DAG of revisions

Language: Jupyter Notebook - Size: 47.7 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0

alaagawish/SportsApp

iOS using Swift

Language: Swift - Size: 1.19 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

alaagawish/MoviesAPP

iOS Application

Language: Swift - Size: 0 Bytes - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

CaspervanWetten/CoRA2

CoRA2: Coverability and Reachability analyzer, now with .pnml support!

Language: TypeScript - Size: 2.19 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

devendrabhumca12/NetworkManager

NetworkManager is a lightweight Reachability/Internet Connection library written in SwiftUI.

Language: Swift - Size: 37.1 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0

Softeq/Reachability-xamarin-ios

Binding of Reachability iOS library for Xamarin / .NET6 / MAUI

Language: C# - Size: 94.7 KB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 10 - Forks: 0

natchi92/BASBenchmarks

Benchmarks for CPS: A modular model library for buildings automation

Language: MATLAB - Size: 43 MB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 7 - Forks: 2

Softeq/ReactiveNetwork-xamarin-android

Binding of ReactiveNetwork Android library for Xamarin / .NET6 / MAUI

Size: 243 KB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 9 - Forks: 1

ivan-magda/IMNetworkReachability 📦

Network reachability framework

Language: Swift - Size: 42 KB - Last synced at: 5 months ago - Pushed at: over 7 years ago - Stars: 7 - Forks: 2

zakimjz/grail

GRAIL: A Scalable Index for Reachability Queries in Very Large Graphs

Language: C++ - Size: 316 MB - Last synced at: about 2 years ago - Pushed at: almost 10 years ago - Stars: 12 - Forks: 6

zakimjz/dagger-index

DAGGER: Reachability Index for Dynamic Graphs

Language: C++ - Size: 136 MB - Last synced at: about 2 years ago - Pushed at: almost 10 years ago - Stars: 6 - Forks: 1

nactro/CRSettings

iOS 越狱插件「滞空背景调节」自定义设置 Reachability 背景图片

Language: Objective-C - Size: 4.44 MB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 3 - Forks: 1

levindoneto/Placidus

Placidus is a formal verification and management platform for Software Defined Networks, and it has a core that verifies the following properties: conflicts, redundancies and reachability on network topologies.

Language: Java - Size: 153 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

rssalessio/Py-Data-Driven-Reachability-Analysis

Python implementation of data-driven reachability analysis using Zonotopes

Language: Python - Size: 88.9 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

peterrsamir/SportsApp Fork of MennaElsayed5/SportsApp

iOS App Using Swift Contains List Of All Sports With Details For each Sport (Leagues, Last Results, Upcoming Events, Team Details)

Size: 5.14 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

peterrsamir/ShopifyApp Fork of RadwaMohamed29/ShopifyApp

M-Commerce Application allow you to explore new fashion styles with many filtration options like Men, Women, Kids, Sale and price. Although, you can make search with the product name, after registration you can add item to favvorite or to cart. then proceed to checkout by PayPal

Size: 32.3 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0