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.926 mcp 4.405 claude 2.833 anthropic 1.288 openai 993 rag 870 agents 806 prompt-engineering 797 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 z3

1
leaderiop/SpecForge 41
Specs your AI agent can't ignore. A deterministic compiler that turns your rules into checks: no AI inside, same input, same verdict. Rust ·
0,3/gün ort. +1 son gün +1,4 son 16g — commit Rust 24 Haz 2026 güncellendi 3 gün önce
ai-agents ai-coding claude-code code-review cursor developer-tools dsl formal-verification
41
2
ymm-oss/fsl 37
AI-Native Formal Specification Language — a bounded model checker (Lark + Z3) built for LLM write/verify/repair loops.
0,3/gün ort. +0 son gün +0,2 son 30g — commit Rust 15 Haz 2026 güncellendi dün
bounded-model-checking formal-methods formal-specification llm model-checking python refinement verification
37