math
Repositories (1572)
Lean formalizations for the paper "Fel's conjecture on syzigies of numerical semigroups"
A "No-Nonsense", C++ 17, single-header-only Math library geared towards graphics programming
The Math of Card Shufflig
Some helper classes for HaxeFlixel that I like to use :sparkles:
Implementation of Conway's Surreal Numbers
Math typesetting for showdown
Simple Menu Bar Application For Mac
🐸 Python 🐠 Math 🐳 Statistics 🪲 is a curated 🌺 collection 🐲 of mathematical 🍔 statistical 🍊implemented 🍎 in Python 🍏 It serves 🫑 as a 🥝 pra...
Single file forward and inverse Sliding DFT in C, C++ and Python
Math behind all the mainstream tree-based machine learning models
Weaving in terminal
A detailed AI and ML education repository
LODA Programs for Integer Sequences
基于vue项目的移动端数学公式键盘，支持手写
The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)
A collection of general Fortran modules in the categories Computational, Date and Time, Input / Output, Math / Numerics, Screening, Sensitivity Analys...
This is the solution of the "Mathematics for Machine Learning Specialization" made by Coursera
A math expression evaluator built with JavaScript
时不时更新一些目前正在学习的笔记！
A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.
Construct isolines/isosurfaces of a 2D/3D scalar field defined by a function.
Free Algebras in Haskell
A docsify.js plugin for typesetting LaTeX with display engines from markdown.
AssemblyScript library for arbitrary-precision decimal arithmetic
Automata simulation utility package for FSMs, PDAs, TMs written for/in JS/TS. @zakrok @sandemiroren1
(TS) Tiny 2kb, zero deps, infinite precision: Biggest for all your big integer + big decimal needs.
High-Precision Floating-Point Types for Delphi
Create mathematical equations on webpages using a GUI
Implementation of polylogarithms in C/C++/Fortran
MathFusion: Enhancing Mathematical Problem-solving of LLM through Instruction Fusion (ACL 2025)
Scala Native BLAS (Basic Linear Algebra Subprograms) supporting Linux and macOS
Math extensions for SCNVector3, SCNQuaternion, SCNMatrix4
A LaTeX editor and utility tool
Cellular Automata Simulator
C++ template library for floating point operations
A parser that can evaluate TeX math and convert it into a MathJS expression tree.
A factorization software using a Quadratic Sieve (SIQS) written in C.
Micro Linear Algebra Package
Advanced C++ implementation for precise topographic reconnaissance missile trajectory guidance.
A Typescript library for multidimensional convex hulling and Delaunay triangulations.
Arbitrary precision rational number class
A C++11 large integer library with effective high performance, simplistic in nature and also clean in the eyes.
Arbitrary precision, automatic re-computing real numbers in Common Lisp.
🐍🎮-🔷 pygame with polygons, circles, lines, and raycasting
:key: 同济大学 现代密码学 / 信息安全数学基础 辅助工具
The AI tripos
⚽ Mathematical ⚾ problems 🥎 detailed 🏀 solutions 🏐 and learning 🏈 resources ⛸ tailored Math 🎮 Olympiad 🏘 enthusiasts 🏬 This serves 🏯 as a kno...
Kotlin Multiplatform statistics library: distributions, hypothesis tests, correlation, descriptive stats, and sampling
《深度学习的数学》的随书Excel文件
Parses, and hovers math formula of c mathematical library functions