Mathematics
Showing 36 of 128 projects
A Python interface to CGAL's 2D and 3D mesh generation tools for creating high-quality meshes from geometric domains.
A Python library for triangular mesh smoothing and optimization with multiple algorithms and a simple interface.
Jupyter notebooks implementing Gilbert Strang's MIT linear algebra course (18.06) with Python examples.
A simple, fast, and intuitive command-line calculator written in Go for quick mathematical computations.
A fully hackable text editor for exact sciences with built-in KaTeX and AsciiMath support, extensible via plugins and themes.
A minimal C library providing essential 2D/3D graphic data types like vectors, matrices, and quaternions for building canvas libraries.
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources.
A lightweight open-source computer algebra library for .NET, Silverlight, and Mono, written in F#.
An open-source Python toolbox for robot kinematics, dynamics, trajectory generation, and calibration.
A Rust implementation of cryptographic primitives from first principles for educational purposes.
An interactive book about Riemann problems and approximate solvers for hyperbolic PDEs, implemented in Jupyter notebooks.
A curated collection of high-quality STEAM resources for students and teachers to supplement classroom learning.
A curated collection of high-quality STEAM resources for students and teachers to supplement classroom learning.
A formally verified category theory library implemented in Idris, providing correctness guarantees through proofs.
A C++ library providing integer, rational, floating-point, complex, and interval number types with extended range and precision beyond built-in types.
Open-source runtime that executes MATLAB syntax on CPU and GPU automatically, with cross-platform hardware support and no vendor lock-in.
An Xcode Playground that generates beautiful Julia set fractal images using Swift.
A comprehensive JavaScript library for complex number arithmetic with a full suite of mathematical functions.
A formal proof of the Four Color Theorem in Coq, including supporting theories for real numbers, plane topology, and combinatorial hypermaps.
A dependable, cross-platform distribution of the Rocq proof assistant with a curated selection of libraries and tools.
A higher-dimensional ray tracing prototype written in Rust that explores non-Euclidean geometry.
A pure Python mesh generator for 2D geometries, inspired by distmesh, with a user-friendly interface and high-quality output.
A formalization of geometry in Coq based on Tarski's axiom system, containing both foundational and high-school style proofs.
A Rust scientific library for high-performance numerical mathematics, including ODE/DAE solvers, linear algebra, special functions, and tensor calculus.
A Rust binding for the GNU Scientific Library (GSL), providing access to numerical routines for scientific computing.
A collection of mathematical functions and examples for JavaScript and GLSL, focusing on 2D/3D graphics and vector operations.
A comprehensive JavaScript library for 3D rotations using quaternions, avoiding Gimbal lock.
A Python library providing orthogonal polynomial classes for lines, triangles, disks, spheres, n-cubes, and nD spaces with stable recurrence schemes.
A Swift library that implements mathematical concepts like groups, rings, matrices, and topology using Swift protocols and structs.
A cross-platform .NET wrapper for Intel MKL, providing high-performance matrix algebra, optimization, and statistics functions.
An iOS puzzle game based on the Seven Bridges of Königsberg problem, featuring bridges, houses, tolls, and subways.
A Swift framework providing essential math constructs like vectors, matrices, complex numbers, quaternions, and polynomials.
A Coq library providing abstract interfaces for mathematical structures using type classes.
A TypeScript library for 2D Euclidean geometry with classes for shapes, intersection detection, and SVG/Canvas drawing.
A curated list of awesome computational geometry visualizations, libraries, and educational resources.
A symbolic math library and computer algebra system for Rust, providing symbolic differentiation, integration, equation solving, and more.
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.