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. +10 son gün 184 commit 1 yazar Rust 09 Mar 2026 güncellendi 2 gün önce - 2
Authority control plane for autonomous work. EMILIA Gate enforces finite customer-owned mandates at protected executor boundaries; the open
2,3/gün ort. -8 son gün 95 commit 4 yazar TypeScript 13 Mar 2026 güncellendi 5 gün önce - 3
Topological Fixed Point Theory (TFPT): E8 geometry, Standard Model structure, flavor and alpha readouts, clocks and cosmology. Original pape
2,1/gün ort. -8 son gün 52 commit 1 yazar Python 27 Nis 2026 güncellendi dün - 4
Composable mathematics tools for agents
3,3/gün ort. +3 son gün 52 commit 3 yazar Python 23 Tem 2026 güncellendi dün - 5
A Lean backend framework whose authorization safety is formally proven. The developer writes only a Cedar schema and policies; handlers are
26,7/gün ort. +0 son gün 11 commit 1 yazar Lean 26 Eki 2026 güncellendi 4 gün önce - 6
A TLA+ interpreter and model checker in TypeScript
19,5/gün ort. +24 son gün 594 commit 1 yazar TypeScript 26 Eki 2026 güncellendi bugün - 7
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 10 gün önce - 8
TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a pr
6,3/gün ort. +3 son gün 1.620 commit 1 yazar TypeScript 16 Eki 2026 güncellendi bugün - 9
Lean for JavaScript and WebAssembly runtimes
2,3/gün ort. +2 son gün — commit C 23 Eyl 2026 güncellendi bugün