热门项目
GitHub星数达到2,000且不足100,000 · 各区间按星数排序 · 统计规则
★ 5,000–不足10,000 · 全部分类 · 548个项目
★旁的绿色数字表示较上次检查增加的星数 · 星数最多
- 第436名
Kgateway 是一个功能丰富、快速且灵活的 API 网关，构建于 Envoy proxy 与 Kubernetes Gateway API 之上。它擅长函数级路由，支持遗留应用、微服务
AI 翻译
★ 5,736+1 - 第437名★ 5,732−10
- 第438名★ 5,724+5
- 第439名
每个构建 AI 的团队都面临一个问题：你能信任自己正在交付的东西吗？Snyk 保护 AI 编写的代码、它运行的代理，以及它构建的应用。免费开始，或预约演示。
AI 翻译
★ 5,710 - 第440名★ 5,706+23
- 第441名★ 5,705+1
- 第442名
Rocq is a general-purpose, industrial-strength interactive theorem prover.
翻译准备中
★ 5,667−2 - 第443名★ 5,663
- 第444名★ 5,655+2
- 第445名★ 5,648+4
- 第446名
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 - 第447名
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 - 第448名★ 5,632+6
- 第449名★ 5,630+74
- 第450名★ 5,624+1
