jspahrsummers / correct-behavior-through-type-safety
Talk about using types to prove correctness
☆15Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for correct-behavior-through-type-safety
- Run PonyDebugger entirely on your iPhone or iPad. No computer needed.☆20Updated 9 years ago
- An unofficial registry of Swift packages☆11Updated 8 years ago
- Add preferences support for your Xcode plugins.☆29Updated 9 years ago
- ☆20Updated 8 years ago
- Mac framework to bridge AppKit and Core Animation-based UI frameworks☆52Updated 12 years ago
- DEPRECATED Functional JSON parsing and encoding☆45Updated 7 years ago
- A Swift library for interacting with Xcode projects.☆11Updated 8 years ago
- iOS client for http://pomo.tv☆11Updated 8 years ago
- A library for communicating with OpenRadar.☆21Updated 8 years ago
- ⛱ Reformats Coverage.profdata file that Xcode 7 generates for use by humans and CIs☆13Updated 8 years ago
- Collection of utilities to aid use of the Nest web gateway interface☆26Updated 7 years ago
- Scrum, but with GitHub Issues (experimental)☆16Updated 9 years ago
- A small framework that makes UIImage accessible☆22Updated 8 years ago
- My personal collection of Swift which should work.☆14Updated 9 years ago
- A minimalistic embedded HTTP server written in Swift.☆17Updated 8 years ago
- iOS UIGestureRecognizer that recognizes and parses Morse code tap events.☆23Updated 8 years ago
- Swift module for libuv☆16Updated 8 years ago
- Tweak UI elements at run time to find the perfect values☆26Updated 4 years ago
- An AVQueuePlayer-backed audio player for iOS with a modern, minimal UI☆32Updated 5 years ago
- Setting up a fastlane development environment☆23Updated 8 years ago
- A simple Swift 2.0 Core Data stack using parent/child contexts☆24Updated 5 years ago
- Where Buildasaur sends its heartbeat.☆12Updated 8 years ago
- ReactiveCocoa for Parse☆61Updated 10 years ago
- A library which allows remote editing of app variables through MultipeerConnectivity.framework☆34Updated 9 years ago
- Collection of Swift projects for Computer Science concepts and topics.☆11Updated 3 years ago
- An implementation of a dependently-typed intermediate language used by Tesseract.☆30Updated 8 years ago