jspahrsummers / correct-behavior-through-type-safetyLinks
Talk about using types to prove correctness
☆15Updated 9 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:
- Mac framework to bridge AppKit and Core Animation-based UI frameworks☆52Updated 13 years ago
- 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
- iOS client for http://pomo.tv☆11Updated 9 years ago
- An AVQueuePlayer-backed audio player for iOS with a modern, minimal UI☆32Updated 5 years ago
- ☆20Updated 9 years ago
- ⛱ Reformats Coverage.profdata file that Xcode 7 generates for use by humans and CIs☆13Updated 9 years ago
- Parses the useful parts out of a keyboard will show/hide notification☆52Updated 10 years ago
- ReactiveCocoa for Parse☆61Updated 10 years ago
- Export your Spotify playlists☆12Updated 9 years ago
- Taking Sprite Kit to the next level☆41Updated 11 years ago
- A Swift library for interacting with Xcode projects.☆11Updated 8 years ago
- A synchronous ABTest framework with a simple API.☆24Updated 10 years ago
- DEPRECATED Functional JSON parsing and encoding☆45Updated 8 years ago
- Setting up a fastlane development environment☆23Updated 8 years ago
- A library for communicating with OpenRadar.☆21Updated 8 years ago
- A CocoaPods Plugin that stops☆25Updated 9 years ago
- A Passbook collection view layout that doesn’t suck.☆29Updated 9 years ago
- My personal collection of Swift which should work.☆14Updated 10 years ago
- An Objective-C library enabling easy implementation of feature experiments on iOS allowing users to opt in and out of experiments at will…☆76Updated 8 years ago
- Core Objective-C client library for the Venmo API☆27Updated 8 years ago
- Swift library and CLI for generating an application bundle for an executable and running it in the iOS simulator.☆15Updated 8 years ago
- An unofficial registry of Swift packages☆11Updated 9 years ago
- ☆15Updated 9 years ago
- A collection of playground demonstrating the use of the Swift Standard Library☆15Updated 10 years ago
- An app to upload screenshots and metadata to App Store. Frontend for deliver.☆13Updated 9 years ago
- Emoji Search App☆40Updated 5 years ago
- Nest middleware to lockup your web application☆21Updated 9 years ago
- A command line program to be run on OS X's Terminal utility that performs generating a Swift documentation as Markdown format☆46Updated 7 years ago
- NSString and libdispatch compatibility code for Swift on Linux☆47Updated 9 years ago