xiaoyang111222 / cn-math-taxonomy

中小学知识图谱 + 前置诊断：数学（一–九年级、高中必修与选择性必修）+ 小学英语，课标对齐、人教版，999 知识点、4143 题、自适应诊断

soumatheusgomes / editonny

Local video editing through conversation. Created by Matheus Gomes.

razorback16 / cc-intelligent-ui

Claude's answers, rendered: Markdown, math, charts and diagrams drawn in the Claude Code terminal. Independent project, not affiliated with Anthropic.

AbdullahAlhariri / penmentor

AI mentor that reads your math.

OSVerify / OSVerify

One-sided verification under limited expert review: audited review of solutions and papers (mathematics for now).

mathruffian-dot / claude-motion-explainer

用一句話讓 coding agent 做出原理解說動畫（HyperFrames + 中文旁白 + 字幕 + 三色主題）｜Agent skills for narrated explainer animations

freeCodeCamp / freeCodeCamp

freeCodeCamp.org's open-source codebase and curriculum. Learn math, programming, and computer science for free.

ManimCommunity / manim

A community-maintained Python framework for creating mathematical animations.

PDFMathTranslate / PDFMathTranslate

[EMNLP 2025 Demo] PDF scientific paper translation with preserved formats - 基于 AI 完整保留排版的 PDF 文档全文双语翻译，支持 Google/DeepL/Ollama/OpenAI 等服务，提供 CLI/GUI/MCP/Docker/Zotero

TheAlgorithms / C-Plus-Plus

Collection of various algorithms in mathematics, machine learning, computer science and physics implemented in C++ for educational purposes.

halfrost / LeetCode-Go

✅ Solutions to LeetCode by Go, 100% test coverage, runtime beats 100% | LeetCode 题解

KaTeX / KaTeX

Fast math typesetting for the web.

MathFoundationRL / Book-Mathematical-Foundation-of-Reinforcement-Learning

This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."

cure53 / DOMPurify

DOMPurify - a DOM-only, super-fast, uber-tolerant XSS sanitizer for HTML, MathML and SVG. DOMPurify works with a secure default, but offers a lot of configurability and hooks. Demo:

gpujs / gpu.js

GPU Accelerated JavaScript

openai / math

—

sympy / sympy

A computer algebra system written in pure Python

deeplearning4j / deeplearning4j

Suite of tools for deploying and training deep learning models using the JVM. Highlights include model import for keras, tensorflow, and onnx/pytorch, a modular and tiny c++ library for running math code and a java based math library on top of the core c++ library. Also includes samediff: a pytorch/tensorflow like library for running deep learn...

vnotex / vnote

A pleasant note-taking platform with native speed, majoring in Markdown, MindMap, Typst, and plain text.

zhanwen / MathModel

研究生数学建模，本科生数学建模、数学建模竞赛优秀论文，数学建模算法，LaTeX论文模板，算法思维导图，参考书籍，Matlab软件教程，PPT

penrose / penrose

Create beautiful diagrams just by typing notation in plain text.

OpenMathLib / OpenBLAS

OpenBLAS is an optimized BLAS library based on GotoBLAS2 1.13 BSD version.

cantaro86 / Financial-Models-Numerical-Methods

Collection of notebooks about quantitative finance, with interactive python code.

tony9402 / baekjoon

코딩테스트 대비 문제집(Baekjoon Online Judge)

cvxpy / cvxpy

A Python-embedded modeling language for convex optimization problems.

gsantner / markor

Text editor - Notes & ToDo (for Android) - Markdown, todo.txt, plaintext, math, ..

jihe520 / MathModelAgent

🤖📐专为数学建模设计的 Agent & skills ,自动完成数学建模，生成一份完整的可以直接提交的论文。 An Agent Designed for Mathematical Modeling ,Automatically complete mathmodel and generate a complete paper ready for submission.

stdlib-js / stdlib

✨ The fundamental numerical library for JavaScript and TypeScript. ✨                   ⭐️ Star to support our work!

livebook-dev / livebook

Automate code & data workflows with interactive Elixir notebooks

GargantuaX / gemini-watermark-remover

A high-performance, 100% client-side tool for removing Gemini AI image & video watermarks. Built with pure JavaScript using mathematically precise Reverse Alpha Blending. / 基于 JavaScript 的纯浏览器端 Gemini AI 图像和视频无损去水印工具，使用数学精确的反向 Alpha 混合算法

Mathieu2301 / TradingView-API

📈 Get real-time stocks from TradingView

rocq-prover / rocq

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

AngleSharp / AngleSharp

:angel: The ultimate angle brackets parser library parsing HTML5, MathML, SVG and CSS to construct a DOM based on the official W3C specifications.

rasbt / reasoning-from-scratch

Implement a reasoning LLM in PyTorch from scratch, step by step

mathesar-foundation / mathesar

An intuitive spreadsheet-like interface that lets users of all technical skill levels view, edit, query, and collaborate on Postgres data directly. 100% open source and self hosted, with native Postgres access control.

PolymathicAI / the_well

A 15TB Collection of Physics Simulation Datasets

shd101wyy / markdown-preview-enhanced

One of the 'BEST' markdown preview extensions for Atom editor!

leanprover-community / mathlib4

The math library of Lean 4

killop / anything_about_game

A wonderful list of Game Development resources.

dpilger26 / NumCpp

C++ implementation of the Python Numpy library

microsoft / PhiCookBook

This is a Phi Family of SLMs book for getting started with Phi Models. Phi a family of open sourced AI models developed by Microsoft. Phi models are the most capable and cost-effective small language models (SLMs) available, outperforming models of the same size and next size up across a variety of language, reasoning, coding, and math benchmarks

schemathesis / schemathesis

Catch API bugs before your users do

mathiasbynens / he

A robust HTML entity encoder/decoder written in JavaScript.

opentk / opentk

The Open Toolkit library is a fast, low-level C# wrapper for OpenGL, OpenAL & OpenCL. It also includes windowing, mouse, keyboard and joystick input and a robust and fast math library, giving you everything you need to write your own renderer or game engine. OpenTK can be used standalone or inside a GUI on Windows, Linux, Mac.

simple-statistics / simple-statistics

simple statistics for node & browser javascript

matheusfacure / python-causality-handbook

Causal Inference for the Brave and True. A light-hearted yet rigorous approach to learning about impact estimation and causality.

root-project / root

The official repository for ROOT: analyzing, storing and visualizing big data, scientifically

shivammathur / setup-php

GitHub action to set up PHP with extensions, php.ini configuration, coverage drivers, and various tools.

shivammathur / homebrew-php

Homebrew tap for PHP 5.6 to 8.7. PHP 8.6 and 8.7 are built nightly :beer:

HarleyCoops / Math-To-Manim

Create Epic Math and Physics Animations & Study Notes From Text and Images.

xtensor-stack / xsimd

C++ wrappers for SIMD intrinsics and parallelized, optimized mathematical functions (SSE, AVX, AVX512, NEON, SVE, WebAssembly, VSX, RISC-V))

FreyaHolmer / Mathfs

Expanded Math Functionality for Unity

sagemath / sage

Main repository of SageMath

vercel-labs / vgpu

Modular cross-runtime WebGPU library for shaders, 3D scenes, GPU tensors, neural networks, and math viz

Pyomo / pyomo

An object-oriented algebraic modeling language in Python for structured optimization problems.

artisticat1 / obsidian-latex-suite

Make typesetting LaTeX as fast as handwriting through snippets, text expansion, and editor enhancements

NVIDIA / CUDALibrarySamples

CUDA Library Samples

jump-dev / JuMP.jl

Modeling language for Mathematical Optimization (linear, mixed-integer, conic, semidefinite, nonlinear)

mathjax / MathJax-src

MathJax source code for version 3 and beyond

geogebra / geogebra

GeoGebra apps (mirror)