人気のプロジェクト
GitHubスター2,000以上100,000未満・各区分のスター順 · 算出方法
★ 2,000–under 5,000・すべてのカテゴリ・989件
★の隣の緑の数字は、前回確認から増えたスター数です · スター数
- 451位
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
翻訳待ち
★ 3,222+2 - 452位
Find code by asking what it does. A CLI for coding agents that uses Jev to discover relevant files and source context.
翻訳待ち
★ 3,216+4 - 453位★ 3,213
- 454位
Analog is the fullstack meta-framework for Angular. Vite-based, with file-based routing, API routes, SSR and SSG.
翻訳待ち
★ 3,212 - 455位
Autonomous penetration testing using a swarm of AI agents. Orchestrates recon, classification, exploitation, and reporting specialists with ReAct reasoning — supports bug bounty, continuous monitoring
翻訳待ち
★ 3,211+16 - 456位★ 3,208+2
- 457位★ 3,204
- 458位
Run Pi and Claude Code directly in Codex Desktop. 在 Codex Desktop 中直接运行 Pi 和 Claude Code。
翻訳待ち
★ 3,203+8 - 459位★ 3,203+2
- 460位
Apache DevLake is an open-source dev data platform to ingest, analyze, and visualize the fragmented data from DevOps tools, extracting insights for engineering excellence, developer experience, and co
翻訳待ち
★ 3,198 - 461位
Debug and profile React Native & Swift apps faster with Argent: a toolkit for AI agents, helping you control the simulator, inspect issues, and automate testing.
翻訳待ち
★ 3,196+7 - 462位
Expose local HTTP, TCP, and WebSocket services on public URLs with a self-hosted tunnel, local request inspector, replay, and team controls.
翻訳待ち
★ 3,196 - 463位
Swing the hammer on JSX, HTML, and CSS components. Takumi renders them in Rust and WebAssembly into images, animations, SVG, paged PDFs, and paint data without a browser.
翻訳待ち
★ 3,195+3 - 464位★ 3,191
- 465位★ 3,190+2






