An extensive math library for JavaScript and Node.js
- math
- javascript
- complex-numbers
- matrices
Repository Index
47,133 repositories indexed
1–24 of 97 · 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
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
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
Arbitrary-precision arithmetic library for PHP
- php
- arbitrary-precision
- biginteger
- bigdecimal
DirectXMath is an all inline SIMD C++ linear algebra library for use in games and graphics apps
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
:chart_with_upwards_trend: Adaptive: parallel active learning of mathematical functions
- adaptive-learning
- machine-learning
- python
- live-plots
a lean linear math library, aimed at graphics programming. Supports vec3, vec4, mat4x4 and quaternions
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
- coq
- mathematics
- unimath
- coq-library
:spider_web: Gmsh for Python
- python
- pypi
- mesh-generation
- engineering
linalg.h is a single header, public domain, short vector math library for C++
Cross Platform Fixed Point Maths Library
Parallel solvers for sparse linear systems featuring multigrid methods.
- math-physics
- library
- hpc
- radiuss