Havuz
Takip ettiğimiz konularda yükselen açık kaynak projeler — yıldız ivmesi, gerçek geliştirme aktivitesi ve AI değerlendirmesiyle.
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
Etiketler yükleniyor…
- 1
Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
4,1/gün ort. +1 son gün +1,3 son 7g — commit Python 07 Tem 2026 güncellendi 27 Ağu 2026 - 2
AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.
1/gün ort. +0 son gün +0,1 son 7g — commit Python 22 Mar 2026 güncellendi 17 Ağu 2026 - 3
PaperGraph MCP, matematik makalelerindeki sonuçları, kanıt izlerini ve dış kaynak bağımlılıklarını AI agents için kaynak gösteren okuma haritalarına dönüştürür.
Neden yükseliyor · 26 günlük yaşına karşılık 269 yıldız ve son 28 günde 84 commit dikkat çekiyor; ancak bu commitlerin tek yazardan gelmesi, hareketliliğin geniş bir geliştirici topluluğuna yayıldığını göstermiyor. Yükselişin özel nedenini mevcut verilerle doğrulamak mümkün değil.
4,2/gün ort. +0 son gün -0,1 son 7g — commit Python 02 Eyl 2026 güncellendi 19 gün önce