Model Context Protocol Server for Mobile Automation and Scraping (iOS, Android, Emulators, Simulators and Real Devices)

Building a full-fledged code editor for iPad

Lightweight, zero-dependency toolkit for building `isFoo` style type guards in TypeScript. Runtime-safe 🛡️, composable 🧩, and ergonomic ✨. npm -> https://www.npmjs.com/package/is-kit

Apple Human Interface Guidelines, et al.

🛠️ Build. Learn. Ship. (and mass produce it.) — Systems programming, distributed systems, and AI infrastructure.

Serve large files on Cloudflare Pages directly from Git LFS

🕰️ Synchro: Timezone-typesafe date and time framework for Go. 🌟 Star to support our work!

an easy-to-use command-line tool for running commands with macOS sandbox-exec policies using flag-based interface

Oracle Cloud Infrastructure (OCI)上にKubernetesクラスターを自動的に構築するためのツールセット。

Self-contained Japanese Morphological Analyzer written in pure Go

Evaluation metrics for ranking and retrieval

A Coq library for Homotopy Type Theory

A very fast linker for Linux

CakeML: A Verified Implementation of ML

Sisimai is a library provided as a Go package that decodes various formats of bounce emails and outputs structured data necessary for analysis, such as destination addresses and bounce reasons.

Static analysis tool to detect potential nil panics in Go code

Bridging Xcode's coding intelligence features to various model providers.

Swift-based vector database for on-device RAG using MLTensor and MLX Embedders

Apple's Liquid Glass effect for React

Bloch sphere

A markup-based typesetting system that is powerful and easy to learn.

Empower the Web community and invite more to build across platforms.

A macOS app for customizing which browser to start