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
An SDK for verifiable intent, inline with code: one-line claims above your functions, verified at the rigor you choose and flagged when they
0,4/gün ort. +0 son gün +0,3 son 7g — commit Rust 15 May 2026 güncellendi 5 gün önce - 2
Checks coding agents' edits as they work by enforcing mechanical guardrails for clean code.
0,3/gün ort. +0 son gün +0,1 son 7g — commit Rust 26 Haz 2026 güncellendi 16 gün önce