A linear algebra and mathematics library for computer graphics.
-
Updated
Oct 23, 2022 - Rust
A linear algebra and mathematics library for computer graphics.
Kotlin mathematics extensions library
Agda formalisation of the Introduction to Homotopy Type Theory
🔰 A mathematical library in C (Portable to Python3) having implementation of numerical-methods, Gamma, Bessel, trigonometric, hyperbolic, approximation functions from scratch
A community-driven specification process for mathematics libraries in Kotlin
GNU Scientific Library support for KMath
Formal proofs in mathematics/computer science/logic formalized in the Agda language. A hobby project I am working on in my free time.
[WIP] Kotlin library for pure mathematics computational experiments
Library for computing Gröbner Basis in .NET. Includes sample application that checks if a given graph is k-colorable using the API.
Matroid Chow Rings, and their semi-small decompositions.
Assortment of Ada functions to solve Euler Project problems
Abstract Algebra and Number Theory Package for Scala
Mathematics library
C library containing implementation of Set data structure and all commonly expected operations to manipulate them
The missing mathematics operation library
A short and simple library including some helpful math calculations.
Add a description, image, and links to the mathematics-library topic page so that developers can more easily learn about it.
To associate your repository with the mathematics-library topic, visit your repo's landing page and select "manage topics."