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. +15 son gün +70,8 son 30g 206 commit 1 yazar Rust 09 Mar 2026 güncellendi bugün - 2
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked
10,4/gün ort. +0 son gün +9,9 son 27g 48 commit 2 yazar Python 08 Eki 2026 güncellendi 21 gün önce - 3
Composable mathematics tools for agents
3,4/gün ort. +2 son gün +5,1 son 30g 47 commit 2 yazar Python 23 Tem 2026 güncellendi 3 gün önce - 4
A Lean backend framework whose authorization safety is formally proven. The developer writes only a Cedar schema and policies; handlers are
31,9/gün ort. +1 son gün +1,3 son 3g 11 commit 1 yazar Lean 26 Eki 2026 güncellendi 2 gün önce - 5
verification toolchain for TypeScript (Tech Preview)
0,6/gün ort. +0 son gün +0,7 son 30g — commit TypeScript 30 Mar 2026 güncellendi dün - 6
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 30g — commit Python 22 Mar 2026 güncellendi 17 Ağu 2026 - 7
Topological Fixed-Point Theory: a machine-checked discrete compiler for the Standard Model, α⁻¹, and cosmology from two axioms. Papers, veri
2,3/gün ort. +0 son gün -0,2 son 30g 31 commit 1 yazar Python 27 Nis 2026 güncellendi 2 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
5,1/gün ort. 1.554 commit 1 yazar TypeScript 16 Eki 2026 güncellendi bugün