Mathematics
Showing 10 of 82 projects
A Python library for fast computation of geometric properties in simplex meshes (triangles, tetrahedra, n-simplices) of any dimension.
A Python library for computing accurate sums and dot products, mitigating floating-point errors in numerical computations.
A terminal-based viewer for exploring the Mandelbrot fractal set with interactive navigation.
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 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.
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.