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
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. +19 son gün +75,1 son 30g 170 commit 5 yazar Rust 09 Mar 2026 güncellendi 2 gün önce - 2
Composable mathematics tools for agents
3,4/gün ort. -1 son gün +5,1 son 30g 62 commit 3 yazar Python 23 Tem 2026 güncellendi 2 gün önce - 3
Containment for AI agents - user isolation, sandboxed execution, network controls, backup/rollback. TLA+ verified.
0,8/gün ort. +0 son gün +0,1 son 30g — commit Go 27 Mar 2026 güncellendi 7 gün önce - 4
The Hale programming language: general-purpose, native and memory-safe, from a five-line script to a dynamic distributed system. Less langua
0,2/gün ort. +0 son gün +0,1 son 30g — commit Rust 15 May 2026 güncellendi bugün - 5
KVerus: Scalable and Resilient Formal Verification for Rust Code
0,3/gün ort. +1 son gün +0,1 son 30g — commit Python 30 Tem 2026 güncellendi 8 gün önce - 6
Relational codebase compiler and spec-driven containment engine for AI coding agents. Compiles polyglot repos (Rust, Python, TS, Go, C/C++,
0,2/gün ort. +0 son gün +0 son 30g — commit Rust 24 Haz 2026 güncellendi 2 gün önce - 7
Authority control plane for autonomous work. EMILIA Gate enforces finite customer-owned mandates at protected executor boundaries; the open
2,6/gün ort. +0 son gün -0,3 son 30g 114 commit 4 yazar TypeScript 13 Mar 2026 güncellendi 2 gün önce