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
Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.
11,7/gün ort. +15 son gün +130,6 son 7g 206 commit 1 yazar Rust 09 Mar 2026 güncellendi bugün - 2
verification toolchain for TypeScript (Tech Preview)
0,6/gün ort. +0 son gün +0,9 son 7g — commit TypeScript 30 Mar 2026 güncellendi dün - 3
AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.
1/gün ort. +1 son gün +0,3 son 7g — commit Python 22 Mar 2026 güncellendi 17 Ağu 2026 - 4
A Lean quality system for AI-assisted work — every defect becomes a permanent countermeasure. Built by a manufacturing operator.
1,3/gün ort. +0 son gün +0 son 7g — commit Python 24 Haz 2026 güncellendi 5 gün önce