A modern, expressive testing package for Swift

CodePecker is a tool to detect unused Swift code.

🔎 Automated mutation testing for Swift 🕳️

DeviceKit is a value-type replacement of UIDevice.

Formatting technology for Swift source code

Crash Unscrambler analyzes crash reports and crashed processes, recovering as much information as possible about the data and execution leading up to the crash.

Microbenchmarking app for Swift with nice log-log plots

Implementations of various type systems in OCaml.

📝 Swift code formatter using SwiftSyntax.

A command-line benchmarking tool

Atom package - Activate POWER MODE to write your code in style.

Dependency free iOS biometric automation example.

An Xcode extension (plugin) to generate Swift test doubles automatically.

Awesome and useful Xcode defaults

🗺 A Swift DSL for type-safe, extensible, and transformable HTML documents.

A collection of awesome loading animations

🛂 A result type that accumulates multiple errors.

ShellCheck, a static analysis tool for shell scripts

Natural gestures and animations inspired by Apple's WWDC18 talk "Designing Fluid Interfaces"

💾 A collection of classic-style UI components for iOS

The most advanced ad blocker for iOS

🏷 A wrapper type for safer, expressive code.

The Vellvm (Verified LLVM) coq development.

The CompCert formally-verified C compiler

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

A collection of useful Swift tools that are used in the Kickstarter apps.

Create Xcode playgrounds from Markdown.

🎼 A library for function composition.

All new design. Inspect your iOS application at runtime.