jspahrsummers / correct-behavior-through-type-safetyLinks
Talk about using types to prove correctness
☆15Updated 10 years ago
Alternatives and similar repositories for correct-behavior-through-type-safety
Users that are interested in correct-behavior-through-type-safety are comparing it to the libraries listed below
Sorting:
- Add preferences support for your Xcode plugins.☆29Updated 10 years ago
- DEPRECATED Functional JSON parsing and encoding☆45Updated 8 years ago
- ⛱ Reformats Coverage.profdata file that Xcode 7 generates for use by humans and CIs☆13Updated 9 years ago
- Swift module for libuv☆16Updated 9 years ago
- NSString and libdispatch compatibility code for Swift on Linux☆47Updated 9 years ago
- Core Objective-C client library for the Venmo API☆27Updated 8 years ago
- Swift library and CLI for interacting with Xcode's simctl.☆60Updated 8 years ago
- A library which allows remote editing of app variables through MultipeerConnectivity.framework☆34Updated 10 years ago
- ReactiveCocoa for Parse☆61Updated 10 years ago
- An AVQueuePlayer-backed audio player for iOS with a modern, minimal UI☆32Updated 5 years ago
- Run PonyDebugger entirely on your iPhone or iPad. No computer needed.☆20Updated 10 years ago
- A library for simplifying task execution in Swift.☆74Updated 8 years ago
- iOS client for http://pomo.tv☆11Updated 9 years ago
- A synchronous ABTest framework with a simple API.☆24Updated 10 years ago
- A minimalistic embedded HTTP server written in Swift.☆17Updated 9 years ago
- Collection of utilities to aid use of the Nest web gateway interface☆26Updated 8 years ago
- A host app for Pony Debugger☆24Updated 9 years ago
- Taking Sprite Kit to the next level☆41Updated 11 years ago
- Setting up a fastlane development environment☆23Updated 9 years ago
- Where Buildasaur sends its heartbeat.☆12Updated 9 years ago
- Redis bridges for Swift, Linux friendly.☆37Updated 9 years ago
- An NSURLProtocol to log HTTP Requests and Responses☆16Updated 9 years ago
- Easily adopt Handoff for different types of activities.☆37Updated 10 years ago
- A small CocoaPod to print a debug banner for Cocoa.☆12Updated 10 years ago
- Framework Manager for Swift in Swift☆59Updated 10 years ago
- Artsy Chat Bot for Facebook Messenger☆17Updated 8 years ago
- send your user to various locations within iOS' Settings app☆41Updated 8 years ago
- Scripting in Swift☆23Updated 8 years ago
- Nest middleware to lockup your web application☆21Updated 9 years ago
- Parses the useful parts out of a keyboard will show/hide notification☆52Updated 10 years ago