The HOL Light theorem prover

Prompt design using JSX.

A Personal AI Assistant that lives inside your machine and works 24/7 for you.

An example of CQRS/Event Sourcing and GraphQL implemented in Go.

Agent Skills for Google products and technologies

Wrap your React app in <A11yer> and accessibility is automatically handled.

📦️ Continuous (Preview) Releases for your libraries!

Fast, accurate & comprehensive text measurement & layout

Lightweight, flexible HTTP server framework written in Swift

Worktrunk is a CLI for Git worktree management, designed for parallel AI agent workflows

OpenType Reference Guide for Font Developers

Container runtimes on macOS (and Linux) with minimal setup

Let coding agents diagnose and fix your React code

Model Context Protocol (MCP) server for freee API integration

A central repository for Flow library definitions

Adds static typing to JavaScript to improve developer productivity and code quality.

政党・企業によらない政治のデジタル化オープンソース基盤

ID generator server

🎣 Allows you to build simple compile-time libraries

A simple middleware-style router for isomorphic JavaScript web apps

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