Popular projects
2,000 to under 100,000 GitHub stars · most stars first within each tier · Methodology
★ 5,000–under 10,000 · All categories · 632 projects
Green numbers beside ★ are stars gained since the previous check · Most stars
Rank 512Claude-BugHunter
A Claude skill bundle for bug hunting and external red-team work.
Rank 513Snyk AI Security Platform
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.
Rank 514plexo
This speeds up your downloads by combining multiple network connections in parallel.
AI translation
Rank 516a World of Rocq
This is Rocq, a general-purpose, industrial-strength interactive theorem prover.
AI translation
Rank 517metro
🚇 The JavaScript bundler for React Native
Rank 518cinnamon
A Linux desktop featuring a traditional layout, built from modern technology and introducing brand new innovative features.
Rank 519RLinf
RLinf: Reinforcement Learning Infrastructure for Embodied and Agentic AI
Rank 520SkiaSharp
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
Rank 521ZenML Labs
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
Rank 523Oh My Hermes
Power intelligence and agentic memory for Hermes Agent. One install, professional results.
Rank 525azure-sdk-for-python
This repository is for active development of the Azure SDK for Python. For consumers of the SDK we recommend visiting our public developer docs at https://learn.microsoft.com/python/azure/ or our vers





