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 道题，对齐课标，附自适应前置诊断。
402,7/gün ort. +327 son gün 124 commit 7 yazar Python 18 Eki 2026 güncellendi dün - 2
Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
4,2/gün ort. +1 son gün 0 commit 0 yazar Python 07 Tem 2026 güncellendi 27 Ağu 2026 - 3
A gorgeous XeLaTeX class + Claude skill for fill-in study notes — read and fill, learn by active recall.
1,4/gün ort. +1 son gün — commit TeX 27 Haz 2026 güncellendi 29 Haz 2026 - 4
PaperGraph MCP, matematik makalelerindeki sonuçları, kanıt izlerini ve dış kaynak bağımlılıklarını AI agents için kaynak gösteren okuma haritalarına dönüştürür.
Neden yükseliyor · 26 günlük yaşına karşılık 269 yıldız ve son 28 günde 84 commit dikkat çekiyor; ancak bu commitlerin tek yazardan gelmesi, hareketliliğin geniş bir geliştirici topluluğuna yayıldığını göstermiyor. Yükselişin özel nedenini mevcut verilerle doğrulamak mümkün değil.
4,6/gün ort. +0 son gün 43 commit 1 yazar Python 02 Eyl 2026 güncellendi 16 gün önce - 5
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked
11,8/gün ort. +0 son gün 56 commit 3 yazar Python 08 Eki 2026 güncellendi 19 gün önce - 6
AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.
1/gün ort. +0 son gün 0 commit 0 yazar Python 22 Mar 2026 güncellendi 17 Ağu 2026 - 7
MathPinpoint: problem-level math retrieval dataset. Find the web page that solves the same problem under the same conditions, correctly. 3.5
2,3/gün ort. +0 son gün — commit TeX 28 Eyl 2026 güncellendi 6 gün önce - 8
Fifth Card Flip 2026: Best Open Source Poker Chip Allocator for Card Game Strategy
1,3/gün ort. +0 son gün — commit HTML 21 Eyl 2026 güncellendi dün - 9
Practical guide and toolkit for physicists and mathematicians using Claude Code — built from months on a real research project
0,4/gün ort. +0 son gün — commit Shell 05 Haz 2026 güncellendi 03 Eyl 2026 - 10
An agent skill for Codex, Claude Code and other clients: open-ended research as the exploration of a labyrinth, with a map of what is proved
1,9/gün ort. +0 son gün — commit Python 08 Eki 2026 güncellendi 25 gün önce - 11
This is a mathematical discovery engine, which searches new mathematics applying techniques to existing results
0,2/gün ort. +0 son gün — commit Python 21 Nis 2026 güncellendi 24 Eyl 2026 - 12
MathX: A production-ready scientific calculator and unit converter for Android with 160+ live currencies and 8 unit categories.
0,2/gün ort. +0 son gün — commit Kotlin 05 May 2026 güncellendi 21 Ağu 2026 - 13
A sovereign, deterministic rewrite of 3b1b's manim in pure Rust — native TeX math typesetting (no LaTeX), an analytic Bézier renderer with t
0,3/gün ort. +0 son gün — commit Rust 20 Tem 2026 güncellendi dün - 14
Mathematical research agents with shared, structured state for understanding the reasoning process and coordinating exploration.
1,1/gün ort. +0 son gün — commit Python 11 Eki 2026 güncellendi dün - 15
Cercetarea open-source realizată de 2 elevi de la CNCNI
0,3/gün ort. +0 son gün — commit Python 13 Eyl 2026 güncellendi 2 gün önce - 16
USEL is an open-source CPU-based scientific computing framework for computational physics and quantum research. It provides modular numerica
0,1/gün ort. +0 son gün — commit Python 22 Tem 2026 güncellendi 9 gün önce - 17
Narrated, 3Blue1Brown-style 4K math explainer videos built in Rust with franken_manim (native TeX, no LaTeX, no Python) and voiced by Franke
0,6/gün ort. +0 son gün — commit Rust 10 Eki 2026 güncellendi 6 gün önce - 18
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 — commit Python 08 Tem 2026 güncellendi 18 Eyl 2026 - 19
An open research workbench for idea discovery, autonomous mathematics, and evidence-grounded rebuttals.
0,2/gün ort. +0 son gün — commit Python 26 Eyl 2026 güncellendi 26 gün önce - 20
把计算机专业与数学做成能点亮的技能树：192 个学习单元、260 条必须前置，附课程证据与划分边界、中英学习资源、练习和知识导览。纯静态网页，离线可用。CS & math skill tree with evidence-backed prerequisites, learnin
14/gün ort. 75 commit 1 yazar HTML 01 Kas 2026 güncellendi dün