Agentic Coding for Builders who Ship

Elegant HTTP Networking in Swift

A library for building applications in a consistent and understandable way, with composition, testing, and ergonomics in mind.

中文版 Apple 官方《Swift 编程语言》

Lightweight, flexible HTTP server framework written in Swift

Commonly used data structures for Swift

The Swift Programming Language book

A set of Swift libraries for parsing, inspecting, generating, and transforming Swift source code.

A SwiftUI Mastodon client

知乎热搜榜，记录从 2020-11-24 日开始的知乎热搜榜单。每小时抓取一次数据，按天归档。

A high-level build system based on llbuild, used by Xcode, Swift Playground, and the Swift Package Manager

🚀 Awesome list of open source applications for macOS. https://t.me/s/opensourcemacosapps

Powerful menu bar manager for macOS

💧 A server-side Swift HTTP web framework.

⚡ Write Native with TypeScript ✨ Best of all worlds (TypeScript, Swift, Objective C, Kotlin, Java, Dart). Use what you love ❤️ Angular, React, Solid, Svelte, Vue with: iOS (UIKit, SwiftUI), Android…

Blink Mobile Shell for iOS (Mosh based)

Notes manager for macOS/iOS

Lightweight Plain Text Editor for macOS

⛷ Lightweight Markdown app to help you write great sentences.

📝 CodeEdit App for macOS – Elevate your code editing experience. Open source, free forever.

The better way to deal with JSON data in Swift.

A list of awesome lean4 projects. Feel free to add your project.

The "batteries included" extended library for the Lean programming language and theorem prover

A project to digitalise results from physics into Lean.

The Lean Computer Science Library (CSLib)

The math library of Lean 4

Code for the paper "Evaluating Large Language Models Trained on Code"

Code Editor for the AI Agents Era - Run an army of Claude Code, Codex, etc. on your machine

The open agent skills tool - npx skills

Sexy fonts for the console