人気のプロジェクト
GitHubスター2,000以上100,000未満・各区分のスター順 · 算出方法
★ 5,000–under 10,000・すべてのカテゴリ・631件
★の隣の緑の数字は、前回確認から増えたスター数です · スター数
- 511位
A Claude skill bundle for bug hunting and external red-team work.
翻訳待ち
★ 5,716+94 - 512位
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 - 513位★ 5,706+23
- 514位★ 5,705+1
- 515位
Rocq is a general-purpose, industrial-strength interactive theorem prover.
翻訳待ち
★ 5,667−2 - 516位★ 5,663
- 517位
A Linux desktop featuring a traditional layout, built from modern technology and introducing brand new innovative features.
翻訳待ち
★ 5,655+2 - 518位★ 5,648+4
- 519位
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 - 520位
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 - 521位★ 5,632+6
- 522位
Power intelligence and agentic memory for Hermes Agent. One install, professional results.
翻訳待ち
★ 5,630+74 - 523位★ 5,624+1
- 524位
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
翻訳待ち
★ 5,623 - 525位
avoid-ai-writing catalogs the tells that give AI-generated text away. Here are three Chain of Thought conversations about the problem underneath it: plausibility, hallucination, and how you actually m
翻訳待ち
★ 5,622+10






