Mathematics
Showing 36 of 128 projects
The fundamental package for scientific computing with Python, providing powerful N-dimensional arrays and mathematical functions.
A curated list of free and high-quality mathematics resources, covering topics from foundations to advanced branches.
A curated list of freely available resources for learning and exploring mathematics across all major branches.
A cheat-sheet that translates mathematical notation into JavaScript code examples for developers.
An extensive JavaScript and Node.js math library with expression parsing, symbolic computation, and support for multiple data types.
A full-featured computer algebra system (CAS) written in pure Python for symbolic mathematics.
A header-only C++ mathematics library for graphics software based on the OpenGL Shading Language (GLSL) specifications.
A comprehensive cheat sheet with classical equations and diagrams for machine learning knowledge recall and interview preparation.
A standard library for JavaScript and TypeScript with an emphasis on numerical and scientific computation.
An interactive theorem prover providing a formal language to write mathematical definitions, algorithms, and theorems with machine-checked proof development.
An interactive theorem prover providing a formal language to write mathematical definitions, algorithms, and theorems with machine-checked proof development.
A comprehensive, dependency-free statistics library for Go with extensive mathematical functions and thorough testing.
A powerful cross-platform desktop calculator library and CLI with symbolic math, unit conversion, arbitrary precision, and plotting.
A comprehensive, self-contained mathematics library for PHP with no external dependencies, covering algebra, statistics, linear algebra, and numerical analysis.
A Python library for reading, writing, and converting between many mesh file formats used in scientific computing.
A symbolic framework for numeric optimization with automatic differentiation and code generation capabilities.
A PHP library for arbitrary-precision arithmetic with support for integers, decimals, and rational numbers.
A comprehensive Rust library for quantitative finance, offering pricing models, risk analysis, and financial data tools.
A comprehensive collection of over 570 LaTeX examples with individual Makefiles for easy PDF generation.
A curated list of awesome software, libraries, and tools for numerical analysis and scientific computing.
A comprehensive Python library for generating and analyzing multi-class confusion matrices with extensive statistical metrics.
A Python interface for the igraph library, enabling fast creation, manipulation, and analysis of large graphs and networks.
A Coq library for formalizing Homotopy Type Theory, interpreting type theory into homotopy theory.
A curated collection of resources for learning how to understand mathematics, its language, notation, and proofs.
A curated list of resources for theoretical computer science, emphasizing mathematical techniques and rigor.
A curated list of resources for learning theoretical computer science, emphasizing mathematical techniques and rigor.
A Swift library providing custom operators for mathematical notation, enabling code that resembles traditional math symbols.
A Coq library formalizing mathematics using univalent foundations and homotopy type theory.
A Python interface to Gmsh for creating complex geometries and generating meshes with useful abstractions.
An open-source cross-platform symbolic algebra library for C# and F# that solves equations, differentiates, integrates, and more.
An axiom-free formalization of category theory in Coq for representation, manipulation, and realization of categorical terms.
A comprehensive Python library offering over 1500 numerical integration schemes for 1D, 2D, and nD domains with support for complex, vector, and matrix-valued functions.
A comprehensive .NET library providing data structures, algorithms, mathematics, extensions, and utilities to enhance C# development.
An ASCII math generator from LaTeX equations for taking scientific notes in Neovim.
A REPL CLI calculator for storage expression evaluation, SI/IEC conversion, byte address calculation, and general-purpose arithmetic.
An extensive and coherent library of formalized mathematical theories built on the Coq/Rocq proof assistant with SSReflect.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.