🌐 Makes Internet connectivity detection more robust by detecting Wi-Fi networks without Internet access.
-
Updated
May 14, 2024 - Swift
🌐 Makes Internet connectivity detection more robust by detecting Wi-Fi networks without Internet access.
The Ultimate program analysis framework.
Given an URL, it resolves as fast as possible, performing a GET without downloading the body.
AutoKoopman - automated Koopman operator methods for data-driven dynamical systems analysis and control.
Neural Network Verification Software Tool
This script is used to find the fastest IP for a given site such as Google Translate, Cloudflare, GitHub, etc.
ARC and GCD Compatible Reachability Class for iOS and MacOS. Drop in replacement for Apple Reachability
An always-on framework that performs end-to-end functional network testing for reachability, latency, and packet loss
A lightweight, unit-tested class that detects network status changes on iOS.
📡 A lightweight Kotlin Multiplatform library to monitor network state changes
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
This is a node.js module, which allows you to check, if different types of servers are online. 💾📡
Check if servers are reachable
CoRA2: Coverability and Reachability analyzer, now with .pnml support!
iOS Application
A HL Symbolic Execution Engine Prototype for Reachability
E-Commerce app for user to order or add to wishlist
Add a description, image, and links to the reachability topic page so that developers can more easily learn about it.
To associate your repository with the reachability topic, visit your repo's landing page and select "manage topics."