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
Benchmarking coding agents on formalized undergraduate research problems
1,7/gün ort. +0 son gün — commit Lean 18 Eki 2026 güncellendi 9 gün önce - 2
Containment for AI agents - user isolation, sandboxed execution, network controls, backup/rollback. TLA+ verified.
0,8/gün ort. +0 son gün — commit Go 27 Mar 2026 güncellendi 6 gün önce - 3
Specs your AI agent can't ignore. A deterministic compiler that turns your rules into checks: no AI inside, same input, same verdict. Rust ·
0,3/gün ort. +0 son gün — commit Rust 24 Haz 2026 güncellendi dün - 4
AI agents should not make irreversible changes. TraceFold escrows the inverse before an effect lands, or refuses it, and issues receipts any
0,2/gün ort. +0 son gün — commit Rust 13 Ağu 2026 güncellendi 04 Eyl 2026 - 5
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 — commit Rust 15 May 2026 güncellendi dün - 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 — commit Rust 24 Haz 2026 güncellendi dün - 7
Briev: a contract-enforced programming language and compiler. Verified state transitions, LLVM backend, reactive execution, multi-target cod
0,2/gün ort. +0 son gün — commit Rust 04 Nis 2026 güncellendi dün - 8
Deterministic authorization + tamper-evident audit for AI agents, humans, and workloads — one principal type, safety invariants machine-chec
0,1/gün ort. +0 son gün — commit Rust 02 Ağu 2026 güncellendi 2 gün önce