Popular projects
2,000 to under 100,000 GitHub stars · most stars first within each tier · Methodology
★ 5,000–under 10,000 · All categories · 548 projects
Green numbers beside ★ are stars gained since the previous check · Most stars
- Rank 436
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 - Rank 437
AutoRAG: Now your agent can find anything in your computer. It gets smarter if you are using it frequently.
★ 5,732−10 - Rank 438★ 5,724+5
- Rank 439
Every AI-building team faces one question: can you trust what you're shipping? Snyk secures the code AI writes, the agents it runs, and the apps it builds. Get started for free or book a demo.
★ 5,710 - Rank 440
This speeds up your downloads by combining multiple network connections in parallel.
AI translation
★ 5,706+23 - Rank 441★ 5,705+1
- Rank 442
This is Rocq, a general-purpose, industrial-strength interactive theorem prover.
AI translation
★ 5,667−2 - Rank 443★ 5,663
- Rank 444
A Linux desktop featuring a traditional layout, built from modern technology and introducing brand new innovative features.
★ 5,655+2 - Rank 445★ 5,648+4
- Rank 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 - Rank 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 - Rank 448★ 5,632+6
- Rank 449
Power intelligence and agentic memory for Hermes Agent. One install, professional results.
★ 5,630+74 - Rank 450★ 5,624+1
