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
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked
9,4/gün ort. +0 son gün 22 commit 1 yazar Python 08 Eki 2026 güncellendi 25 gün önce - 2
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,1/gün ort. +0 son gün 42 commit 1 yazar Python 02 Eyl 2026 güncellendi 22 gün önce - 3
It is an MCP server that lets AI agents perform step-by-step symbolic derivations: calculate, transform, verify, and store formulas with ful
0,1/gün ort. +0 son gün — commit Python 08 Tem 2026 güncellendi 18 Eyl 2026