Mathematics
Showing 36 of 128 projects
A Python library for fast computation of geometric properties in simplex meshes (triangles, tetrahedra, n-simplices) of any dimension.
A terminal-based viewer for exploring the Mandelbrot fractal set with interactive navigation.
A Python library for computing accurate sums and dot products, mitigating floating-point errors in numerical computations.
A Ruby interface to the GNU Scientific Library (GSL) for numerical computing.
IGraph/M is a Wolfram Language interface to the igraph network analysis library, extending Mathematica's graph theory capabilities.
A .NET library that provides fast, accurate and automatic differentiation (computes derivative / gradient) of mathematical functions.
A web-based calculator with natural language input, built with Rust and WebAssembly.
A Coq-based project exploring hydra battles, ordinal numbers, addition chains, and Gödel's incompleteness theorem through formalized mathematics.
A Rocq library for formal reasoning about discrete probabilities, information theory, and linear error-correcting codes.
A pure Lua package for Fast Fourier Transformations based on KissFFT, with complex number support.
A collection of statements and proofs for 100 famous mathematical theorems formalized in the Coq proof assistant.
A C# library for parsing, evaluating, and symbolically manipulating mathematical expressions with support for differentiation, integration, and plotting.
A Pascal library for arbitrary-precision integer arithmetic with fast O(N log N) multiplication using Fast Hartley Transform.
A Common Lisp library for permutations, permutation groups, and combinatorial specifications with ranking/unranking.
Python tools to download, process, and analyze data from the Online Encyclopedia of Integer Sequences (OEIS).
A Coq library formalizing graph theory results, including Menger's Theorem, Hall's Marriage Theorem, and Wagner's Theorem.
A Coq library for certifying primality using Pocklington and Elliptic Curve certificates, with efficient modular arithmetic.
A generic Swift math framework for function solving, optimization, matrix algebra, complex numbers, and big integers with performance optimizations.
A general-purpose Coq library providing an alternative to Coq's standard library with extensionality axioms and enhanced tactics.
A Common Lisp library for writing infix mathematical notation using named-readtables.
An Elixir library for generating combinations and permutations from enumerable collections.
A Coq formalization of Bourbaki's Elements of Mathematics, covering set theory and number theory using the Mathematical Components library.
A tiny Go library for linear interpolation with O(log(N)) evaluation and a fast O(1) uniform-spacing special case.
A Coq library providing enhanced coinductive proof methods based on the 'companion' concept from coinduction theory.
A pure Crystal vector math library providing 2D, 3D, and 4D vector operations, matrix transformations, and quaternions.
A formal Coq development of the Tower of Hanoi problem with generalized frameworks and proofs.
A Coq library providing arbitrarily large integer and rational numbers (BigN, BigZ, BigQ) for formal verification.
A formal verification of the 2048 game implemented in the Coq proof assistant.
A Go library providing comprehensive statistical functions for machine learning and data analysis.
A computer algebra system designed to run on microcontrollers using MicroPython, enabling symbolic mathematics on embedded devices.
A Go library that generates hexadecimal digits of Pi using the Bailey-Borwein-Plouffe algorithm up to position 10^10,000,000.
A collection of utility and mathematical functions for GameMaker Studio 2, including number theory, linear algebra, and graph algorithms.
A MicroPython implementation of Python's statistics module for data analysis on microcontrollers.
A Coq library of formally verified mathematical theorems and tools covering arithmetic, real analysis, and complex analysis.
A comprehensive 2D vector and point class for Haxe with operator overloading support.
A Go library implementing Brent's method for finding roots of real-valued functions.
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.