dennisweissmann

shellcheck

ShellCheck, a static analysis tool for shell scripts

hyperfine

A command-line benchmarking tool

NVActivityIndicatorView

A collection of awesome loading animations

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

DeviceKit

DeviceKit is a value-type replacement of UIDevice.

activate-power-mode

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

Peek

All new design. Inspect your iOS application at runtime.

fluid-interfaces

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

swift-format

Formatting technology for Swift source code

ClassicKit

💾 A collection of classic-style UI components for iOS

CompCert

The CompCert formally-verified C compiler

swift-testing

A modern, expressive testing package for Swift

type-systems

Implementations of various type systems in OCaml.

Pecker

CodePecker is a tool to detect unused Swift code.

AdguardForiOS

The most advanced ad blocker for iOS

swift-tagged

🏷 A wrapper type for safer, expressive code.

Attabench

Microbenchmarking app for Swift with nice log-log plots

swift-overture

🎼 A library for function composition.

xcode-defaults

Awesome and useful Xcode defaults

SwiftRewriter

📝 Swift code formatter using SwiftSyntax.

swift-html

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

SwiftMockGeneratorForXcode

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

muter

🔎 Automated mutation testing for Swift 🕳️

Kickstarter-Prelude

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

vellvm

The Vellvm (Verified LLVM) coq development.

swift-validated

🛂 A result type that accumulates multiple errors.

AppleEventInviteStickerPack

crash-unscrambler

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

BiometricAutomationDemo

Dependency free iOS biometric automation example.

Playmaker

Create Xcode playgrounds from Markdown.