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
- Run PonyDebugger entirely on your iPhone or iPad. No computer needed.☆20Updated 10 years ago
- DEPRECATED Functional JSON parsing and encoding☆45Updated 8 years ago
- iOS client for http://pomo.tv☆11Updated 9 years ago
- A library for communicating with OpenRadar.☆21Updated 9 years ago
- A library for simplifying task execution in Swift.☆74Updated 8 years ago
- Artsy Chat Bot for Facebook Messenger☆17Updated 8 years ago
- iOS UIGestureRecognizer that recognizes and parses Morse code tap events.☆23Updated 9 years ago
- A location sharing group for an exciting WWDC week in San Jose☆17Updated 7 years ago
- ReactiveCocoa for Parse☆61Updated 11 years ago
- Export your Spotify playlists☆14Updated 10 years ago
- Emoji Search App☆40Updated 6 years ago
- NSString and libdispatch compatibility code for Swift on Linux☆47Updated 9 years ago
- An Xcode plugin to copy the full tree description of an object from the Variables View☆19Updated 9 years ago
- A host app for Pony Debugger☆24Updated 9 years ago
- Swift library and CLI for interacting with Xcode's simctl.☆60Updated 9 years ago
- Taking Sprite Kit to the next level☆41Updated 11 years ago
- ReactiveCocoa Swift extensions for Alamofire☆33Updated 10 years ago
- Make it easier to see what's making your build slow.☆17Updated 9 years ago
- An AVQueuePlayer-backed audio player for iOS with a modern, minimal UI☆32Updated 6 years ago
- ⛱ Reformats Coverage.profdata file that Xcode 7 generates for use by humans and CIs☆13Updated 9 years ago
- A Proof-Of-Concept implementation of the new Xcode Source Editor Extension☆30Updated 9 years ago
- Sample project that implements ride requests using the `Intents` framework (aka SiriKit).☆63Updated 9 years ago
- A simple Swift 2.0 Core Data stack using parent/child contexts☆24Updated 6 years ago
- My personal collection of Swift which should work.☆14Updated 10 years ago
- A Passbook collection view layout that doesn’t suck.☆29Updated 9 years ago
- Setting up a fastlane development environment☆23Updated 9 years ago
- Core Objective-C client library for the Venmo API☆26Updated 2 months ago
- A small framework that makes UIImage accessible☆22Updated 9 years ago
- Swift library and CLI for generating an application bundle for an executable and running it in the iOS simulator.☆15Updated 9 years ago