Mathematics
Showing 36 of 81 projects
The fundamental package for scientific computing with Python, providing powerful N-dimensional arrays and mathematical functions.
A cheat-sheet that translates mathematical notation into JavaScript code examples for developers.
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.
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 Swift library providing custom operators for mathematical notation, enabling code that resembles traditional math symbols.
A curated list of resources for learning theoretical computer science, emphasizing mathematical techniques and rigor.
A curated list of resources for theoretical computer science, emphasizing mathematical techniques and rigor.
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.