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
Open decision models from 0.8B to 27B: a calibrated probability for every option in one pass, and a short thought only when unsure. Engine f
42,7/gün ort. +10 son gün 22 commit 2 yazar Python 29 Eyl 2026 güncellendi 16 gün önce - 2
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 3 gün önce - 3
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked
9,7/gün ort. +0 son gün 22 commit 1 yazar Python 08 Eki 2026 güncellendi 24 gün önce - 4
NeuroArxiv, Claude Code ve Codex CLI için bir skill/CLI olarak arXiv makalelerini tarayıp teknik tasarım önerisini kaynaklara dayandırmaya çalışır.
Neden yükseliyor · 53 günde 433 yıldız alması ilgi gördüğünü gösteriyor; arXiv araştırmasını agent iş akışına eklemesi ve README'deki karşılaştırmalı eval iddiası dikkat çekmiş olabilir. Ancak eval, README'de beş problemle sınırlı ve bağımsız doğrulama bilgisi sunulmuyor; son 28 günde 1 commit ve 1 farklı yazar görülmesi de bakım/katkı ivmesinin zayıf olduğuna işaret ediyor.
4,6/gün ort. +0 son gün 0 commit 0 yazar TypeScript 05 Ağu 2026 güncellendi 17 Eyl 2026 - 5
MathCode: A Frontier Mathematical Coding Agent
3,4/gün ort. +0 son gün 1 commit 1 yazar Shell 02 Nis 2026 güncellendi 3 gün önce - 6
Transforms Databricks Unity Catalog tables into a dynamic knowledge graph, with ontology design and reasoning exposed as tools via MCP.
2,2/gün ort. +1 son gün 84 commit 4 yazar Python 07 Nis 2026 güncellendi 2 gün önce - 7
Method for Long Context RLMs using verifiable Lambda Calculus
1,3/gün ort. +0 son gün 0 commit 0 yazar Python 19 Mar 2026 güncellendi 24 Nis 2026 - 8
🌟 推理王国:关于 AI 推理机制的思想实验手册。从信息论、符号逻辑与表示学习出发,系统剖析大模型“智能”的本质。
1/gün ort. +0 son gün — commit 30 Mar 2026 güncellendi 27 Ağu 2026