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