mathoudebine / turing-smart-screen-python
Unofficial Python system monitor and library for small IPS USB-C displays like Turing Smart Screen / TURZX
mathoudebine / turing-smart-screen-python
casadi / casadi
CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++, Python, Matlab/Octave, Julia or Javascript
neonwatty / machine-learning-refined
Master the fundamentals of machine learning, deep learning, and mathematical optimization by building key concepts and models from scratch using Python.
mfem / mfem
Lightweight, general, scalable C++ library for finite element methods
mathworks / MATLAB-Simulink-Challenge-Project-Hub
This MATLAB and Simulink Challenge Project Hub contains a list of research and design project ideas. These projects will help you gain practical experience and insight into technology trends and industry directions.
arnog / mathlive
Web components for math display and input
brick / math
Arbitrary-precision arithmetic library for PHP
bitshifter / glam-rs
A simple and fast linear algebra library for games and graphics
LukeMathWalker / pavex
A backend framework for Rust professionals
igraph / igraph
Library for the analysis of networks
vEnhance / napkin
An Infinitely Large Napkin
academa-labs / manimgx
The animation engine for agents: blazingly fast math and 3D videos with Manim's Python API, on a Rust GPU core.
codeplea / tinyexpr
tiny recursive descent expression parser, compiler, and evaluation engine for math expressions
bobeff / programming-math-science
This is a list of links to different freely available learning resources about computer programming, math, and science.
XiaoMaColtAI / math-modeling-skill
数学建模技能 - 面向 CUMCM、MCM/ICM 等数学建模竞赛的三阶段工作流：建模分析、Python/MATLAB 编程与 DOCX 论文生成。包含丰富的算法资源库(优化/预测/评价/图论/机器学习等)、角色指导文档、论文模板和实用工具脚本
apple / swift-numerics
Advanced mathematical types and functions for Swift
deekur / gaokaomath
历年高考数学真题，1952-2026
MatheuZSecurity / Singularity
Stealthy Linux Kernel Rootkit
avhz / RustQuant
Rust library for quantitative finance.
microsoft / DirectXMath
DirectXMath is an all inline SIMD C++ linear algebra library for use in games and graphics apps
soumatheusgomes / vibe-coding-toolkit
A curated, battle-tested AI-coding toolkit: Claude Code plugins, subagent orchestration, quality gates, and ready-to-copy prompts, extracted from real production use.
mathworks-robotics / awesome-matlab-robotics
This is a list of awesome demos, tutorials, utilities and overall resources for the robotics community that use MATLAB and Simulink.
MartinThoma / LaTeX-examples
Examples for the usage of LaTeX
matlab / matlab-mcp-server
Run MATLAB® using AI applications with the official MATLAB MCP Server from MathWorks®. This MCP server for MATLAB supports a wide range of coding agents like Claude Code® and Visual Studio® Code.
matheus-git / systemd-manager-tui
A TUI application for managing systemd services.
php-standard-library / php-standard-library
PHP Standard Library
DrTimothyAldenDavis / SuiteSparse
The official SuiteSparse library: a suite of sparse matrix algorithms authored or co-authored by Tim Davis, Texas A&M University.
JuliaSymbolics / Symbolics.jl
Symbolic programming for the next generation of numerical software
erweixin / RaTeX
>99.5% KaTeX syntax coverage. LaTeX math renderer in pure Rust. No JavaScript, no WebView, no DOM. One Rust core → iOS, Android, Flutter, Web, PNG. C ABI · WASM · Server-side PNG/SVG.
sepandhaghighi / pycm
Multi-class confusion matrix library in Python
jsxgraph / jsxgraph
JSXGraph is a cross-browser library for interactive geometry, function plotting, charting, and data visualization in a web browser.
igraph / python-igraph
Python interface for igraph
Ramakm / AI-Engineering
A group of notebooks and other files which can help you learn AI from scratch.
BillyDM / awesome-audio-dsp
My curated list of audio DSP and plugin development resources (Github fork)
symengine / symengine
SymEngine is a fast symbolic manipulation library, written in C++
davideberly / GeometricTools
A collection of source code for computing in the fields of mathematics, geometry, graphics, image analysis and physics.
owlbarn / owl
Owl - OCaml Scientific Computing @ https://ocaml.xyz
lean-dojo / LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
google-deepmind / formal-conjectures
A collection of formalized statements of conjectures in Lean.
pmndrs / math
🧮 The playful web's math engine
brucemiller / LaTeXML
LaTeXML: a TeX and LaTeX to XML/HTML/ePub/MathML translator.
ilmoi / MML-Book
Code / solutions for Mathematics for Machine Learning (MML Book)
dlang / phobos
The standard library of the D programming language
python-adaptive / adaptive
:chart_with_upwards_trend: Adaptive: parallel active learning of mathematical functions
mpmath / mpmath
Python library for arbitrary-precision floating-point arithmetic
Mathics3 / mathics-core
An open-source Mathematica Kernel. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g. Symbol, a parser to create Expressions, and an evaluator to execute them.
ncalc / ncalc
NCalc is a fast and lightweight expression evaluator library for .NET, designed for flexibility and high performance. It supports a wide range of mathematical and logical operations.
redorav / hlslpp
Math library using HLSL syntax with multiplatform SIMD support
kimwalisch / primesieve
🚀 Fast prime number generator
ezylang / EvalEx
EvalEx is a handy expression evaluator for Java, that allows to evaluate simple mathematical and boolean expressions.
kmatheussen / radium
A graphical music editor. A next generation tracker.
margelo / react-native-quick-crypto
⚡️ A fast implementation of Node's `crypto` module written in C/C++ JSI
zhnnky329 / MathModeling-skills
面向数学建模竞赛的 Claude Code / Codex Skills ，支持分阶段建模流程与 Python、MATLAB/北太天元代码分支。
antoniolupetti / algebrica
Algebrica is free and open a mathematical knowledge base dedicated to clarity, structure, and conceptual coherence.
SakuraMathcraft / LaTeXSnipper
Formula Recognition & Office Editing | Handwriting & PDF to LaTeX/Markdown | Secure API Integrations.
UniMath / UniMath
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
gap-system / gap
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
PaulRBerg / prb-math
Solidity library for advanced fixed-point math
scipopt / PySCIPOpt
Python interface for the SCIP Optimization Suite
symbolica-dev / symbolica
Symbolica is a high-performance computer algebra library for Python and Rust. Manipulate large expressions, match patterns, and generate optimized numerical code — at unprecedented speed.