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
Chiasmus is an MCP server that gives language models access to formal verification
1/gün ort. +0 son gün 69 commit 3 yazar TypeScript 07 Nis 2026 güncellendi 18 gün önce - 2
A hyper-relational knowledge base with content-addressable storage, built on Prolog, SQLite, and C.
1,2/gün ort. +1 son gün — commit C 27 Haz 2026 güncellendi 27 Haz 2026