热门项目
GitHub星数达到2,000且不足100,000 · 各区间按星数排序 · 统计规则
★ 5,000–不足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 是一个功能丰富、快速且灵活的 API 网关，构建于 Envoy proxy 与 Kubernetes Gateway API 之上。它擅长函数级路由，支持遗留应用、微服务
AI 翻译
★ 5,736+1 - 第290名★ 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名★ 5,630+74
- 第300名★ 5,624+1
