Mathematics
Showing 36 of 82 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 formally verified category theory library implemented in Idris, providing correctness guarantees through proofs.
An Xcode Playground that generates beautiful Julia set fractal images using Swift.
A C++ library providing integer, rational, floating-point, complex, and interval number types with extended range and precision beyond built-in types.
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 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 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.
Open-source runtime that executes MATLAB syntax on CPU and GPU automatically, with cross-platform hardware support and no vendor lock-in.
A formalization of geometry in Coq based on Tarski's axiom system, containing both foundational and high-school style proofs.
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 Swift library that implements mathematical concepts like groups, rings, matrices, and topology using Swift protocols and structs.
A Python library providing orthogonal polynomial classes for lines, triangles, disks, spheres, n-cubes, and nD spaces with stable recurrence schemes.
A Rust scientific library for high-performance numerical mathematics, including ODE/DAE solvers, linear algebra, special functions, and tensor calculus.
A cross-platform .NET wrapper for Intel MKL, providing high-performance matrix algebra, optimization, and statistics functions.
A Swift framework providing essential math constructs like vectors, matrices, complex numbers, quaternions, and polynomials.
An iOS puzzle game based on the Seven Bridges of Königsberg problem, featuring bridges, houses, tolls, and subways.
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.