Havuz
Takip ettiğimiz konularda yükselen açık kaynak projeler — yıldız ivmesi, gerçek geliştirme aktivitesi ve AI değerlendirmesiyle.
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
Etiketler yükleniyor…
- 1
Distributed, objective-led control plane for Lean 4 formalization projects.
0,3/gün ort. +0 son gün — commit Python 01 Tem 2026 güncellendi 09 Eki 2026 - 2
Stop hooks that stop AI coding agents (Claude Code, Codex) from claiming "done" without proof. A Lean quality system: every defect becomes a
1,2/gün ort. +0 son gün — commit Python 24 Haz 2026 güncellendi dün - 3
verification toolchain for TypeScript (Tech Preview)
0,7/gün ort. +4 son gün — commit TypeScript 30 Mar 2026 güncellendi bugün - 4
AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.
1/gün ort. +0 son gün — commit Python 22 Mar 2026 güncellendi 17 Ağu 2026 - 5
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. +10 son gün — commit Rust 09 Mar 2026 güncellendi 3 gün önce