Algebra
Showing 17 of 17 projects
A comprehensive linear algebra library for Rust with support for statically-sized and dynamically-sized matrices.
A comprehensive, self-contained mathematics library for PHP with no external dependencies, covering algebra, statistics, linear algebra, and numerical analysis.
A library providing common algebraic and categorical abstractions like monoids, functors, and monads to Elixir.
A Scala library providing generalized recursion schemes and traversals for fixed point data structures.
An open-source cross-platform symbolic algebra library for C# and F# that solves equations, differentiates, integrates, and more.
A specialized SIMD Geometric Algebra library for high-performance 3D projective geometry operations.
A specification for common algebraic structures in JavaScript using static functions instead of methods.
An extensive and coherent library of formalized mathematical theories built on the Coq/Rocq proof assistant with SSReflect.
A Java 8 annotation processor for deriving algebraic data type constructors, pattern matching, folds, optics, and typeclasses.
A lightweight command-line tool for performing arithmetic and symbolic math operations directly in the terminal.
A Swift library that implements mathematical concepts like groups, rings, matrices, and topology using Swift protocols and structs.
A Coq library providing abstract interfaces for mathematical structures using type classes.
A JavaScript library for creating, manipulating, and performing arithmetic on polynomials over various mathematical fields.
A Coq library for constructive real analysis and algebra, including a model of real numbers and exact real computation.
A JavaScript library for exact arithmetic with real and complex numbers, avoiding floating-point precision errors.
A Coq library for effective algebra, providing optimized algorithms and a refinement framework for changing data representations in proofs.
A Common Lisp library for permutations, permutation groups, and combinatorial specifications with ranking/unranking.
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.