Açık kaynak radarı

Havuz

Takip ettiğimiz konularda yükselen açık kaynak projeler — yıldız ivmesi, gerçek geliştirme aktivitesi ve AI değerlendirmesiyle.

repo · sayfa 1 / 1

Sırala

Yıldız/gün (hız)Son gün (★/gün)Son hafta (★/gün)Son ay (★/gün)Toplam yıldız AI önem skoru Bana uyum Commit (28g)Yazar (28g)En yeni

Konu

Tümü AI / LLM18 Veri9 Geliştirici araçları13 Diğer3 SaaS altyapı13 Web11

AI / LLM

Tümü ai-agents 5.761 llm 4.927 mcp 4.405 claude 2.833 anthropic 1.288 openai 993 rag 870 agents 806 prompt-engineering 799 image-generation 626 generative-ai 387 knowledge-graph 385 text-to-speech 300 semantic-search 215 speech-recognition 173 embeddings 155 vector-search 138 llmops 109

Süz

Yalnız hareketli Yalnız analizli≥ 0 ≥ 100 ≥ 500 ≥ 2.000

Yalnız hareketli, son 28 günde commit almamış repoları gizler (yıldızı olan ama bırakılmış projeler). Commit sayısı henüz ölçülmemiş repolar da gizlenir.

EtiketTüm GitHub etiketleri — repo sahiplerinin koyduğu topic'lergöster

Sırala:

Etiketler yükleniyor…

Aktif lean

1
PrimeFoldTools/Andon 168
Stop hooks that stop AI coding agents (Claude Code, Codex) from claiming "done" without proof. A Lean quality system: every defect becomes a
1,2/gün ort. +0 son gün — commit Python 24 Haz 2026 güncellendi dün
agentic-coding agents-md ai-agents ai-coding claude-code claude-code-hooks codex developer-tools
168
2
midspiral/LemmaScript 137
verification toolchain for TypeScript (Tech Preview)
0,6/gün ort. +4 son gün — commit TypeScript 30 Mar 2026 güncellendi 4 gün önce
dafny lean lean4 lemmascript typescript ai llm verification
137
3
frenzymath/Archon-Horizon 37
Distributed, objective-led control plane for Lean 4 formalization projects.
0,3/gün ort. +0 son gün — commit Python 01 Tem 2026 güncellendi 09 Eki 2026
agents ai autoformalization blueprints claude codex dashboard formalization
37