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.
4
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 +0 son 7g — commit TypeScript 07 Nis 2026 güncellendi 16 gün önce - 2
A hyper-relational knowledge base with content-addressable storage, built on Prolog, SQLite, and C.
1,2/gün ort. +0 son gün +0 son 7g — commit C 27 Haz 2026 güncellendi 27 Haz 2026 - 3
Connect Luau Games to 100+ DataGrout Logic Cells and Batteries 2026
1,7/gün ort. +0 son gün +0 son 7g — commit HTML 22 Eyl 2026 güncellendi 13 gün önce - 4
A page-backed SQL database built with SWI-Prolog, featuring persistent B+Tree indexes, a bounded buffer pool, recovery, streaming imports, a
0,2/gün ort. +0 son gün +0 son 7g — commit Prolog 05 Tem 2026 güncellendi 13 Ağu 2026