An extensive math library for JavaScript and Node.js
- math
- javascript
- complex-numbers
- matrices
Repository Index
47,133 repositories indexed
1–24 of 102 · Most stars
A computer algebra system written in pure Python
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...
- java
- gpu
- deeplearning
- neural-nets
OpenGL Mathematics (GLM)
- glm
- opengl
- mathematics
- vector
OpenBLAS is an optimized BLAS library based on GotoBLAS2 1.13 BSD version.
- blas
- lapack
- lapacke
A Python-embedded modeling language for convex optimization problems.
- python
- cvxpy
- optimization
- modeling-language
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.
- proof-assistant
- coq
- theorem-proving
- dependent-types
C++ implementation of the Python Numpy library
- python
- numpy
- c-plus-plus
- numerical-analysis
Math.NET Numerics
- math
- numerics
- linear-algebra
- fsharp
A Comprehensive Roadmap to Mathematics
Powerful modern math library for PHP: Features descriptive statistics and regressions; Continuous and discrete probability distributions; Linear algebra with matrices and vectors, Numerical analysis; special mathematical functions; Algebra
:spider_web: input/output for many mesh formats
- vtk
- pypi
- python
- mesh
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
- optimization
- nonlinear
- derivatives
- code-generation
Lightweight, general, scalable C++ library for finite element methods
- finite-elements
- high-order
- high-performance-computing
- parallel-computing
tiny recursive descent expression parser, compiler, and evaluation engine for math expressions
- c
- calculator
- expression-evaluator
- math
DirectXMath is an all inline SIMD C++ linear algebra library for use in games and graphics apps
Examples for the usage of LaTeX
- latex
- tex
- tikz
- mathematics
Python interface for igraph
- complex-networks
- graph-algorithms
- graph-theory
- mathematics
My curated list of audio DSP and plugin development resources (Github fork)
Random data generation in Swift
- swift
- random
- random-generation
- protocol
SymEngine is a fast symbolic manipulation library, written in C++
- math
- computer-algebra
- c-plus-plus
Owl - OCaml Scientific Computing @ https://ocaml.xyz
- matrix
- linear-algebra
- ndarray
- statistical-functions
Links to resources talking about how to learn & understand mathematics, and mathematical language, terminology and notation.
- mathematics
- understanding
- links
Math & CS awesome List, distinguished by proof and logic technique