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
数学（小学到高中）、英语（三年级到高中）、初中物理的知识图谱：1644 个知识点、2403 条先修边、6723 道题，对齐课标，附自适应前置诊断。
347,4/gün ort. +137 son gün +320,1 son 19g 139 commit 7 yazar Python 18 Eki 2026 güncellendi dün - 2
Composable mathematics tools for agents
3,3/gün ort. +3 son gün +5,1 son 30g 52 commit 3 yazar Python 23 Tem 2026 güncellendi dün - 3
Vibe Mathematics —— 多代理数学问题求解与形式化验证框架
0,5/gün ort. +0 son gün +0,3 son 30g — commit JavaScript 02 Ağu 2026 güncellendi bugün - 4
Research Math Agents, Official code release for our paper RMA
0,2/gün ort. +0 son gün +0,3 son 30g — commit Python 09 Nis 2026 güncellendi 4 gün önce - 5
First-principles Manim skill for Claude Code — mathematical animation from scratch, paper-explainer patterns, 21 rule files.
0,2/gün ort. +1 son gün +0,2 son 30g — commit Python 17 Mar 2026 güncellendi 27 Haz 2026 - 6
On-policy distillation for agents without the environment: replay teacher prefixes instead of live rollouts.
0,3/gün ort. +0 son gün +0,2 son 30g — commit Python 09 Tem 2026 güncellendi 26 Tem 2026 - 7
Render math legibly in the Claude Code terminal: Unicode glyphs instead of unrenderable LaTeX
0,2/gün ort. +0 son gün +0,2 son 30g — commit JavaScript 13 Tem 2026 güncellendi 18 Ağu 2026 - 8
Math Modeling AI Agent Flow | 数学建模全流程 AI 助手（国赛 CUMCM / 美赛 MCM-ICM）。四阶段流水线 Solver→Paper→Finalizer→Growth：解题认证、论文写作、提交终检、赛后复盘。防 AI 幻觉、防版本冲突，可安
0,3/gün ort. +0 son gün +0 son 30g — commit Python 19 Ağu 2026 güncellendi 20 Ağu 2026 - 9
It is an MCP server that lets AI agents perform step-by-step symbolic derivations: calculate, transform, verify, and store formulas with ful
0,1/gün ort. +0 son gün +0 son 20g — commit Python 08 Tem 2026 güncellendi 18 Eyl 2026 - 10
Airtight math tools an AI uses over MCP — 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No
0,1/gün ort. +0 son gün +0 son 29g — commit Python 05 Haz 2026 güncellendi 3 gün önce