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.
2
repo · sayfa 1 / 1
Sırala
Süz
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…
- 1
Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure corr
6,4/gün ort. +16 son gün +15,4 son 30g 417 commit 5 yazar TypeScript 22 Ağu 2026 güncellendi bugün - 2
Composable mathematics tools for agents
3,4/gün ort. +2 son gün +5,1 son 30g 47 commit 2 yazar Python 23 Tem 2026 güncellendi 3 gün önce