Stars
An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics
TopNotch is a lil Swift package that lets you hide a custom view underneath the device’s notch.
Python package for safe quantum programming that compiles to Qiskit, where the type system enforces coherence and ancilla cleanliness
iOS app for posting SOOC photos with web admin panel
Example for connecting Linear Agents SDK with Claude Managed Agents
Performant and reusable text view component (TextKit 2), with line numbers and more. UITextView / NSTextView replacement.
Publish a Day One journal as a static site. Easily make a sharable, publicly-viewable travel blog, baby photo album, or anything else.
A formal proof of the Riemann Hypothesis for curves
A board replacement for the classic Casio F-91W wristwatch
Utilities for transitioning to Swift Concurrency
A safe Swift Concurrency interface for NSItemProvider
📸 Automatic snapshots from Xcode previews. Supports UIKit/AppKit/SwiftUI on iOS/macOS/watchOS/visionOS/tvOS. Browse previews in-app with the Preview Gallery, or save them to PNGs with an XCTest
tfw when you when your lid when uhh angle your lid sensor
A collection of open-source integrations with Mochi
Portal is a SwiftUI package for element transitions across navigation contexts, scroll-based flowing headers, and advanced view mirroring capabilities.
Have you ever wonder how you could make Origami like editor in 1h ?
A quick and beautiful macOS/iOS/tvOS/watchOS QR Code generator/detector library for SwiftUI, Swift and Objective-C.
Companion project for my Shaders talk at Deep Dish Swift 2025
RxPublished: a drop-in RxSwift replacement for Published within ObservableObject ViewModels