人気のプロジェクト
GitHubスター2,000以上100,000未満・各区分のスター順 · 算出方法
★ 5,000–under 10,000・開発ツール・372件
★の隣の緑の数字は、前回確認から増えたスター数です · スター数
- 286位★ 5,766−1
- 287位
Build end-to-end typesafe APIs in TypeScript. One oRPC router gives you a typed client, a REST API with an OpenAPI document, and MCP tools for AI agents.
翻訳待ち
★ 5,764+1 - 288位★ 5,741
- 289位
Kgateway is a feature-rich, fast, and flexible API gateway that is built on top of Envoy proxy and the Kubernetes Gateway API. It excels in function-level routing, supports legacy apps, microservices
翻訳待ち
★ 5,736+1 - 290位
AutoRAG: Now your agent can find anything in your computer. It gets smarter if you are using it frequently.
翻訳待ち
★ 5,732−10 - 291位★ 5,724+5
- 292位★ 5,705+1
- 293位
Rocq is a general-purpose, industrial-strength interactive theorem prover.
翻訳待ち
★ 5,667−2 - 294位★ 5,663
- 295位★ 5,648+4
- 296位
SkiaSharp is a cross-platform 2D graphics API for .NET platforms based on Google's Skia Graphics Library. It provides a comprehensive 2D API that can be used across mobile, server and desktop models t
翻訳待ち
★ 5,642 - 297位
Our AI engineer reads your agent's production traces next to the evals you already run, shows you what those evals miss, and turns a few of your answers into checks you can trust. It can fine-tune a c
翻訳待ち
★ 5,635−1 - 298位★ 5,632+6
- 299位
Power intelligence and agentic memory for Hermes Agent. One install, professional results.
翻訳待ち
★ 5,630+74 - 300位★ 5,624+1






