開発ツール

ibelick/ui-skills

デザインエンジニア向けUIスキル集 — UIデザインの知見を「スキル」として体系化し、CLIやMCP経由で取得できるレジストリです。npxコマンドで動き回りやモーションなどのカテゴリから実践的なUIパターンを即座に取得でき、AIエージェントからも同じ知識を参照可能です。

Skills for Design Engineers

majd/ipatool

App Storeアプリをコマンドラインで検索・DL — App Storeを検索し、iOS/iPadOS/tvOS/visionOS/macOSアプリの.ipaや.pkgパッケージをCLIから直接ダウンロードできるツールです。Apple Accountで認証すれば購入済みアプリの取得やバージョン一覧・メタデータ取得も可能で、リバースエンジニアリングやセキュリティ研究者に人気です。

Command-line tool that allows you to search for iOS, iPadOS, tvOS, watchOS, visionOS, and macOS apps on the App Store, and download .ipa or macOS .pkg app packages.

bendlang/bend

AI時代の証明付き超高速プログラミング言語Bend — BendはAIが実装したコードの正しさを数学的証明で検証できる新言語です。依存型と線形性により、CPUではC言語並み、GPUではCUDA並みの速度を実現しつつ、証明チェックも既存の定理証明系より桁違いに高速です。AIとの協働開発で「意図のズレ」を防ぎたい開発者に刺さる設計です。

Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh

pablostanley/yoinks

ターミナルで動画を一瞬でダウンロードするCLI — YouTubeやX、TikTokなど1,800以上のサイトから動画をダウンロードできるCLIツールです。yt-dlpをラップしつつ、うざい広告や偽ボタンのあるWebサービスを使わずに、URLを貼って解像度を選ぶだけで完了します。フルスクリーンのターミナルUIでマウス操作にも対応し、ライト/ダークテーマも自動追従するのが特徴です。

yoink any video from your terminal. no shady ads.

tangency-labs/solidcraft

RustだけでできたパラメトリックCAD、AIでも操作可能 — SolidCraftは純Rust製のオープンソース・パラメトリック3D CADです。デスクトップ・ブラウザ・MCP経由のAIエージェントから操作でき、寸法を変えるだけでモデルが自動再構築されます。FreeCADなどに代わる軽量・組み込みやすいCADとして注目されます。

SolidCraft: an open-source parametric 3D CAD application built in pure Rust. Desktop, web, and automation through MCP.

nyakang/nyaterm

全部入りのリモート端末ワークスペース — TauriとReact、Rustで作られたデスクトップ端末クライアントです。SSH・ローカルシェル・Telnet・シリアル・RDP・VNC・SFTP・トンネル・OTP・AI支援・暗号化同期を1つにまとめ、PuTTYやiTermなど複数ツールを使い分けていた人に向けた統合的な選択肢になります。

A modern remote terminal workspace

changexbc/workbuddy-switch

WorkBuddy/CodeBuddyの複数アカウント管理アプリ — TauriでビルドされたRust製デスクトップアプリで、WorkBuddyやCodeBuddy（IDE/CLI/VS Code拡張）のアカウントをワンクリック切替できます。積分の有効期限監視やToken使用量統計、セッション複製・関連付け機能を備え、複数アカウント運用の業務効率化に役立ちます。

WorkBuddy、CodeBuddy 账号切换，支持积分到期监控、积分统计与 Token 统计，agent 状态悬浮窗。

atgreen/evergreen

RustでCommon Lispを再構築する実験的処理系 — RustでHotSpot風の段階的JITと移動世代別GCを備えたCommon Lisp実装EGCLです。型宣言なしでも観測値を基に最適化し、ホットループはネイティブコードへ移行できます。さらにAI主導開発で言語処理系を構築する試みという点も注目に値します。

Evergreen Common Lisp

l0ng-ai/tty7

ウィンドウを閉じても死なないターミナル「tty7」 — tty7はシェルをバックグラウンドのサーバーに常駐させ、ウィンドウはそれを表示するだけという設計のRust製ターミナルです。tmuxの設定や別キー操作を覚えずにセッションが生き続け、26種のAIコーディングCLIをサイドバーで一元管理できる点が特徴です。GPUレンダリングとAlacrittyのVTコアを採用し、SSH先でも同じ体験が得られます。

The terminal that outlives its window. Shells survive quitting the app, agents can drive other agents, and remote machines work the same way. Pure Rust, GPU-rendered.

omlahore/RemoveMacAI

macOS 27のApple Intelligenceを完全オフ＆モデル削除 — macOS 27では単一のオフスイッチが廃止され、機能を切っても学習モデルがディスクに残り続けます。RemoveMacAIはワンコマンドでApple Intelligence関連機能を無効化し、モデルも削除、再ダウンロードも防止します。変更は全て元に戻せるため、ストレージを気にするプライバシー重視ユーザーに刺さるツールです。

Debloat macOS: turn off Apple Intelligence, analytics, ads and pop-ups. A native app and CLI, and every change can be undone.

NVIDIA/cuda-rust

CUDAカーネルを純粋なRustで書けるコンパイラ — NVIDIA発のcuda-oxideは、rustc独自バックエンドで#[kernel]関数をCUDA PTXへ直接コンパイルするプロジェクトです。DSLや外部言語バインディング不要で、ホスト・デバイスコードを同一ファイルに記述する単一ソース設計が特徴。型安全な共有メモリ操作やスコープ付きアトミック、warp/cluster操作など、Rustらしい安全な抽象化でGPUプログラミングに新しい選択肢を提示します。

NVIDIA's CUDA platform for Rust. Host runtime crates plus Tile (cutile-rs) and SIMT (cuda-oxide) kernel programming models in idiomatic Rust.

Queuingtheorydotcom/11SquaresFormalized

11個の正方形パッキング最適性のLean証明 — 単位正方形11個を最小の正方形に詰める問題の最適性証明をLeanで形式化したリポジトリです。7,920個のLeanモジュールを検証し、admit（未証明箇所）ゼロを達成しています。数値証明の一部はnative_decideを用い、Leanカーネルとネイティブコンパイラを信頼する形で最適辺長の厳密な証明を完成させています。

Lean formalization of the optimality proof of the 11 square packing

evolution-foundation/evolution-go

Go言語製・高性能WhatsApp連携API — whatsmeowライブラリを基盤に、Go言語で書かれた高性能なWhatsApp APIです。Evolution Foundationエコシステムの一部として、Evo CRM CommunityなどのメッセージングエンジンとしてWhatsApp連携を提供します。軽量かつ堅牢なWhatsApp統合を求める開発者に向いています。

Evolution API / Evolution Go is an open-source WhatsApp integration API

mrifqidaffaaditya/WA-AKG

自前運用できるWhatsApp APIゲートウェイ — Next.js 15・Baileys・Prismaで構築されたセルフホスト型のWhatsAppゲートウェイ兼ダッシュボードです。複数セッション管理、メッセージ予約送信、自動返信、Webhook連携に対応し、109以上のREST APIでWhatsAppを業務システムやBotに組み込みたい開発者に最適です。

A self-hosted WhatsApp Gateway & Dashboard built with Next.js 16, Baileys, and Prisma. Manage multi-session accounts, schedule messages, create auto-replies, and integrate via Webhooks.

keploy/keploy

実際のユーザートラフィックからAPIテストを自動生成 — Keployは本番環境のトラフィックを記録・再生し、単体テストより高速にAPIテストを自動生成するOSSツールです。モックも自動生成し90%のテストカバレッジを目指せます。AI時代の開発者に向けたテスト自動化・E2Eテストの新しい選択肢として注目されています。

Open-source platform for creating safe, isolated production sandboxes for API, integration, and E2E testing.

max-sixty/worktrunk

AI並行開発時代のgit worktree管理CLI — 複数のAIエージェント（Claude CodeやCodex）を並行実行する際に必要なgit worktreeの管理を、ブランチ操作と同じくらい簡単にするRust製CLIです。ブランチ名だけでworktreeを指定できるほか、パス自動生成やフック機能で並行作業のQoLを大幅に改善します。すでにgit worktreeマネージャーとして人気を集めています。

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

kunchenguid/no-mistakes

AIがブランチを検証してからPRを作るgitプロキシ — no-mistakesはoriginの手前に立つローカルgitプロキシです。origin代わりにpushすると使い捨てのworktreeを作り、AIによる検証パイプラインを実行、全チェック通過後だけブランチを転送してクリーンなPRを自動作成します。claudeやcodexなど複数のAIエージェントに対応し、作業を妨げない非ブロッキング設計です。

git push no-mistakes

nodejs/node

サーバーサイドJSの標準ランタイムNode.js — Chrome V8エンジン上で動くオープンソースのJavaScriptランタイムで、サーバーサイドJS実行環境の事実上の標準です。OpenJS Foundationが支える開放的なガバナンスと半年ごとのメジャーリリース・LTS制度が特徴で、Web開発者からインフラエンジニアまで幅広く利用されています。

Node.js JavaScript runtime ✨🐢🚀✨

foundry-rs/foundry

RustでできたEthereum開発の高速ツールキット — Foundryは、Rust製のEthereumアプリ開発ツールキットです。SolidityのビルドやテストができるForge、EVMとやり取りするCast、ローカル開発ノードのAnvil、Solidity REPLのChiselを備え、高速さとモジュール性が特徴です。Hardhatなど既存ツールに比べ実行速度が速い点が評価され、DappやSmart Contract開発者に広く使われています。

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

NanmiCoder/MediaCrawler

中国主要SNS横断スクレイパー、JS解析不要の設計が特徴 — 小紅書・抖音・快手・B站・微博・貼吧・知乎など中国主要プラットフォームの投稿やコメントを収集できるツールです。Playwrightによるブラウザ自動化でログイン状態を保持し、複雑な暗号化アルゴリズムを逆解析せずに署名パラメータを取得できる点が特徴で、学習・研究目的のエンジニアに向いています。

小红书笔记 | 评论爬虫、抖音视频 | 评论爬虫、快手视频 | 评论爬虫、B 站视频 ｜ 评论爬虫、微博帖子 ｜ 评论爬虫、百度贴吧帖子 ｜ 百度贴吧评论回复爬虫 | 知乎问答文章｜评论爬虫

reladraw/reladraw

相対位置で描く新感覚ダイアグラム記法「reladraw」 — reladrawはノードの相対的な位置関係を記述してSVG図を生成するテキスト言語です。MermaidやGraphvizのような自動レイアウトでは思い通りの配置ができず、draw.ioのような座標指定は手間がかかるという悩みを解消し、両者の中間を狙います。CLIやWebコンポーネントとしても利用可能です。

A text diagram language where you say where things go. Playground: reladraw.github.io/reladraw

m5stack/M5_Hardware

M5Stack純正ハードウェア設計データ集 — M5Stack製品群のPCB設計やKiCadライブラリ、構造ファイルを公開する公式リポジトリです。製品SKUごとにフットプリントや2D/3D構造データが整理されており、独自モジュールや互換基板を設計したい開発者・メーカーにとって貴重な一次情報源となります。

M5Stack hardware related documents, etc.

php/php-src

PHP言語そのものを動かすインタプリタのソース — PHPインタプリタ本体のC言語実装リポジトリです。Webの裏側を支えるPHPエンジンのソースコードで、ビルド方法や開発向けの設定手順も記載されており、言語内部を追いたい開発者やコントリビューター向けの内容です。

The PHP Interpreter

jlcodes99/cockpit-tools

複数AI IDEアカウントを一括管理するRust製ツール — Cursor・GitHub Copilot・Windsurf・Kiroなど主要AI IDEのアカウントを一元管理できるRust製ツールです。ワンクリックでの切替や多アカウント並行運用、配当監視、自動ウェイクアップ機能を備え、複数アカウントを使い分けて開発効率を最大化したいユーザーに向いています。18言語対応でクロスプラットフォームに動作します。

🚀 通用 AI IDE 账号管理工具：支持 Antigravity / Codex / GitHub Copilot / Windsurf / Kiro / Cursor / Gemini-cli / CodeBuddy，多账号切换、配额监控、自动唤醒与多开实例管理。 🚀 Universal AI IDE account manager for Antigravity / Codex / GitHub Copilot / Windsurf / Kiro / Cursor / Gemini-cli / CodeBuddy, with multi-account switching, quota monitoring, wake-up automation, and multi-insta

eval-exec/neomacs

EmacsをRustで再構築、GPU駆動の次世代エディタ — NeomacsはEmacsをRustで書き直し、wgpuによるGPU描画とマルチスレッドElispを目指すプロジェクトです。既存のEmacs設定・パッケージ・操作感との100%互換を保ちながら、10倍の性能とゼロポーズの並行GCを実現しようとしています。40年来のC実装の限界に挑む野心的な取り組みです。

NEO Emacs (WIP): GPU powered Emacs written in Rust with a modern display engine. Aiming for modern design & multi-threaded Elisp, 10x performance, zero-pause concurrent GC and 100% Emacs compatibility.

topgrade-rs/topgrade

あらゆるパッケージ管理を一括更新するRust製CLI — OSやパッケージマネージャごとに異なる更新コマンドを覚えてシェルスクリプトに書き溜める代わりに、使用中のツールを自動検出して適切な更新コマンドを実行してくれるCLIです。Linux/macOS/Windowsに対応し、r-darwish版topgradeのメンテナンス継続版として開発されています。

Upgrade all the things

ahmedkhaleel2004/gitdiagram

URLの1文字変更でリポジトリを可視化 — GitHubのURLの「hub」を「diagram」に置き換えるだけで、任意のリポジトリをAIが解析しインタラクティブなアーキテクチャ図に変換します。コンポーネントをクリックすると該当ファイルへ直接ジャンプでき、Mermaid形式やPNGでの出力にも対応。プライベートリポジトリもトークン認証で利用可能で、コードリーディングや設計理解を大幅に高速化します。

Visualize any GitHub codebase: free interactive architecture diagrams and one-minute explainer videos. Replace 'hub' with 'diagram' in any GitHub URL.

jasonxu114514/opencode2api

OpenCode Zen/GoをOpenAI互換APIに変換するGoゲートウェイ — OpenCode ZenおよびZen Goを、Chat Completions・Responses・Anthropic Messagesの3プロトコルに変換するGo製プロキシです。キー/プロキシのプール管理、自動ルーティング、WebUI付き管理コンソールを内蔵し、Node.jsやDB不要で単一バイナリとして動作するのが特徴です。

A Go-based OpenCode Zen / Zen Go API proxy with OpenAI & Anthropic API compatibility, key/proxy pooling, automatic routing, and WebUI.

maboloshi/github-chinese

GitHubの画面を丸ごと中国語化するユーザースクリプト — Tampermonkey、Violentmonkey、Macaqueに対応し、GitHubのメニューやボタン、リポジトリ説明、日時表示まで中国語化するユーザースクリプトです。スマート正規表現と更新され続ける辞書を採用し、52cik/github-hansから派生しています。VS Code拡張版もあり、中国語話者の開発者に便利です。

GitHub 汉化插件，GitHub 中文化界面。 (GitHub Translation To Chinese)

EpicGames/lore

Epic Games製、次世代のオープンソース版管理システム「Lore」 — Epic Gamesが開発するRust製の新しい版管理システムです。コードと大容量バイナリ資産（ゲームや映像制作向け）を組み合わせたプロジェクトでのスケーラビリティを重視しており、Gitでは扱いにくい巨大アセットとチーム規模の両方に対応する設計が特徴です。開発者とアーティスト双方の使いやすさを意識しています。

Lore is a next-generation, open source version control system