jspahrsummers / correct-behavior-through-type-safety
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:
- iOS client for http://pomo.tv☆11Updated 9 years ago
- 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
- ☆20Updated 9 years ago
- ⛱ Reformats Coverage.profdata file that Xcode 7 generates for use by humans and CIs☆13Updated 9 years ago
- Run PonyDebugger entirely on your iPhone or iPad. No computer needed.☆20Updated 10 years ago
- Simple object persistence in Swift.☆13Updated 7 years ago
- A synchronous ABTest framework with a simple API.☆24Updated 10 years ago
- Core Objective-C client library for the Venmo API☆27Updated 8 years ago
- Swift module for libuv☆16Updated 9 years ago
- A library for communicating with OpenRadar.☆21Updated 8 years ago
- Collection of Swift projects for Computer Science concepts and topics.☆11Updated 3 years ago
- Nest middleware to lockup your web application☆21Updated 9 years ago
- An AVQueuePlayer-backed audio player for iOS with a modern, minimal UI☆32Updated 5 years ago
- DEPRECATED Functional JSON parsing and encoding☆45Updated 8 years ago
- A block-based Key-Value Observing (KVO) implementation with observable collections.☆18Updated 7 years ago
- A CocoaPods Plugin that stops☆25Updated 9 years ago
- Parses the useful parts out of a keyboard will show/hide notification☆52Updated 10 years ago
- File watcher and test runner for ObjectiveC.☆166Updated 10 years ago
- An NSURLProtocol to log HTTP Requests and Responses☆16Updated 9 years ago
- A Swift library for interacting with Xcode projects.☆11Updated 8 years ago
- Objective-C categories and subclasses of things that should be in Foundation and other frameworks☆138Updated 11 years ago
- Framework Manager for Swift in Swift☆59Updated 10 years ago
- Collection of utilities to aid use of the Nest web gateway interface☆26Updated 8 years ago
- A small framework that makes UIImage accessible☆22Updated 8 years ago
- ReactiveCocoa Swift extensions for Alamofire☆33Updated 10 years ago
- ReactiveCocoa for Parse☆61Updated 10 years ago
- When Xcode is being ran in a debugger, make it obvious that it's in dev mode by turning it red and adding a cool banner.☆91Updated 7 years ago
- Start you next Swift project off right with Breakfast. A collection of classes and extensions targeted towards iOS.☆33Updated 6 years ago
- A simple Swift 2.0 Core Data stack using parent/child contexts☆24Updated 5 years ago