13 results found Sort:
- Filter by Primary Language:
- JavaScript (4)
- Objective-C (2)
- Swift (2)
- Go (2)
- MATLAB (1)
- Java (1)
- Python (1)
- +
ARC and GCD Compatible Reachability Class for iOS and MacOS. Drop in replacement for Apple Reachability
Created
2011-11-12
114 commits to master branch, last one 8 months ago
We need to observe the REAL reachability of network. That's what RealReachability do.
Created
2016-01-21
120 commits to master branch, last one 3 years ago
🌐 Makes Internet connectivity detection more robust by detecting Wi-Fi networks without Internet access.
Created
2017-07-17
194 commits to main branch, last one 19 days ago
Check if the internet connection is up
Created
2014-09-19
121 commits to main branch, last one 4 months ago
An always-on framework that performs end-to-end functional network testing for reachability, latency, and packet loss
Created
2016-11-16
28 commits to master branch, last one 5 years ago
Check if servers are reachable
Created
2015-06-25
135 commits to main branch, last one about a year ago
RxSwift bindings for Reachability
Created
2017-03-22
138 commits to develop branch, last one 2 years ago
The Ultimate program analysis framework.
Created
2015-09-10
29,795 commits to dev branch, last one 2 days ago
Neural Network Verification Software Tool
safe-ai
autonomy
reachability
verification
safe-autonomy
cyber-physical
formal-methods
hybrid-systems
neural-network
trustworthy-ai
assured-autonomy
formal-verification
reachability-analysis
cyber-physical-systems
robustness-verification
neural-network-verification
neural-network-certification
trustworthy-machine-learning
Created
2018-08-20
1,835 commits to master branch, last one 15 days ago
This script is used to find the fastest IP for a given site such as Google Translate, Cloudflare, GitHub, etc.
Created
2023-10-16
10 commits to main branch, last one about a year ago
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.
Created
2018-09-25
50 commits to master branch, last one 4 years ago
Check if the internet connection is up
Created
2015-06-25
18 commits to main branch, last one 4 months ago
AutoKoopman - automated Koopman operator methods for data-driven dynamical systems analysis and control.
Created
2022-02-20
228 commits to main branch, last one 7 months ago