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.534 llm 4.770 mcp 4.268 claude 2.766 anthropic 1.243 openai 940 rag 853 agents 786 prompt-engineering 769 image-generation 545 knowledge-graph 374 generative-ai 358 text-to-speech 293 semantic-search 213 speech-recognition 164 embeddings 153 vector-search 137 llmops 108

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 mathlib

1
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 25 gün önce
agents ai autoformalization blueprints claude codex dashboard formalization
37
2
humanfia/hoa 19
HOA (Humanfia Olympiad Agents): PutnamBench and olympiad problems (IMO, IOI, IPhO, IChO, IBO) solved by agents, checked in Lean 4 where poss
0,2/gün ort. +0 son gün — commit Lean 20 Tem 2026 güncellendi 15 gün önce
ai-agents formal-verification ibo icho imo ioi ipho lean
19
3
yamafaktory/formal 25
A Lean 4 + Mathlib proof service for the agent working on your code
0,1/gün ort. +0 son gün — commit Rust 10 Nis 2026 güncellendi 30 Eyl 2026
agents ai formal-verification lean4 claude mathlib theorem-proving
25