locusyuri/MathRepo

Latest metric snapshot

2026-06-05: 5 stars and 0 forks.

Similar repositories

1. 1. the-omega-institute/newmath

   BEDC: Binary Emission Discovery Calculus (mathlib-free Lean 4 + LaTeX paper)

   GitHub repository with 8 stars and 3 forks.

   Trending score: 0.05; stars gained: +0; forks gained: +0.

   Language: TeX

   Topics: formal-verification, lean4, math

Trending in TeX

1. 1. PaperGuru-AI/PaperGuru-Benchmark

   Lifecycle-Aware Memory for long-horizon LLM agents — 66.05% on PaperBench, 94.66% on SurveyBench, 10 peer-reviewed acceptances at FSE/ICML/TOSEM/AEI/ICoGB

   GitHub repository with 615 stars and 93 forks.

   Trending score: 1.32; stars gained: +24; forks gained: +6.

   Language: TeX

2. 2. xiongqi123123/awesome-rebuttal

   a skill for rebuttal

   GitHub repository with 166 stars and 5 forks.

   Trending score: 1.31; stars gained: +23; forks gained: +1.

   Language: TeX

3. 3. SiriusFzh/NovaForge

   锻造你的知识体系 | 考研·考公·专业课·科研·项目·竞赛通用笔记模板。LaTeX+Typst+Markdown三版本，7步模块化结构，6种场景模板，一键换色，开箱即用。

   GitHub repository with 377 stars and 12 forks.

   Trending score: 1.07; stars gained: +13; forks gained: +1.

   Language: TeX

   Topics: latex-template, note-taking, novaforge, study-notes, template

4. 4. xiyin137/QFT

   GitHub repository with 61 stars and 4 forks.

   Trending score: 1.02; stars gained: +10; forks gained: +1.

   Language: TeX

5. 5. Faust-Donf/beamer-academic

   一键从论文生成高质量学术答辩PPT | AI-powered thesis defense slides generator | Claude Code & Codex Skill

   GitHub repository with 121 stars and 5 forks.

   Trending score: 1.01; stars gained: +11; forks gained: +0.

   Language: TeX

   Topics: academic, ai-tools, beamer, beamer-template, claude-code, codex

6. 6. gulucaptain/acmmm_rebuttal_template

   Latex template for ACM conference/Journal rebuttal.

   GitHub repository with 86 stars and 5 forks.

   Trending score: 0.91; stars gained: +8; forks gained: +0.

   Language: TeX

Trending topic: math

1. 1. ManimCommunity/manim

   A community-maintained Python framework for creating mathematical animations.

   GitHub repository with 38,812 stars and 2,889 forks.

   Trending score: 1.80; stars gained: +41; forks gained: +6.

   Language: Python

   Topics: math, python, manim, animations, hacktoberfest

2. 2. caojiaolong/spaces-index

   🌟本项目自动抓取并索引科学空间的文章元数据，按研究主题进行规则分类，方便在 GitHub 上快速浏览并跳转到原文。

   GitHub repository with 231 stars and 7 forks.

   Trending score: 0.88; stars gained: +7; forks gained: +0.

   Language: Python

   Topics: artificial-intelligence, blogs, machine-learning, math

3. 3. stdlib-js/stdlib

   ✨ The fundamental numerical library for JavaScript and TypeScript. ✨

   GitHub repository with 5,854 stars and 1,205 forks.

   Trending score: 0.60; stars gained: +3; forks gained: +1.

   Language: JavaScript

   Topics: javascript, js, library, math, mathematics, node

4. 4. Readplace/readplace.com

   Readplace - Where reading still matters. Save articles, read them later. No tracking, no third-party analytics. Built by the creator of js-cookie for the purpose of sharing their AI integrated learning system used in the last 10 years.

   GitHub repository with 15 stars and 0 forks.

   Trending score: 0.51; stars gained: +1; forks gained: +0.

   Language: TypeScript

   Topics: ai, ai-agents, careers, community, curriculum, education

5. 5. ad-si/Woxi

   Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)

   GitHub repository with 601 stars and 19 forks.

   Trending score: 0.49; stars gained: +1; forks gained: +1.

   Language: Rust

   Topics: math, mathematica, symbolic, wolfram, wolfram-alpha, wolfram-language

6. 6. litexlang/golitex

   Litex: The Language Where Mathematics Verifies Itself.

   GitHub repository with 652 stars and 8 forks.

   Trending score: 0.48; stars gained: +1; forks gained: +0.

   Language: Rust

   Topics: formal-languages, golang, ai, math, aiforscience, reasoning