Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Corral

solver for the reachability modulo theories problem
Stars
50
License
mit
Open Issues
39
Most Recent Commit
a year ago
Programming Language
Boogie
Categories
Repo
Suggest An Alternative To corral
Popular Reachability Projects
Reachability.swift ⭐ 7,845
Replacement for Apple's Reachability re-written in Swift with closures
total releases 17latest release October 28, 2021most recent commit 3 months ago
Realreachability ⭐ 3,069
We need to observe the REAL reachability of network. That's what RealReachability do.
total releases 13latest release October 22, 2018most recent commit 2 years ago
Is Online ⭐ 1,174
Check if the internet connection is up
dependent packages 264total releases 34latest release June 06, 2022most recent commit 10 months agonpm is-online} Downloads
Popular Commit Projects
Husky ⭐ 30,908
Git hooks made easy 🐶 woof!
dependent packages 124,073total releases 209latest release January 03, 2023most recent commit 3 months agonpm husky} Downloads
Semantic Release ⭐ 19,303
:package::rocket: Fully automated version management and package publishing
dependent packages 34,042total releases 394latest release December 06, 2023most recent commit 3 months agonpm semantic-release} Downloads
Cz Cli ⭐ 15,967
The commitizen command line utility. #BlackLivesMatter
dependent packages 19,670total releases 81latest release January 19, 2023most recent commit 4 months agonpm commitizen} Downloads
Popular Networking Categories
Server
Network
Http
Proxy
Port
Email
Websocket
Hosts
Router
Upload
Related Searches
Commit Travis
Commit Reachability

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Commit
Travis
Reachability
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.