GitHub topics: mathematics-library
SciProgCentre/kmath
Kotlin mathematics extensions library
Language: Kotlin - Size: 20.9 MB - Last synced at: 2 days ago - Pushed at: 4 days ago - Stars: 698 - Forks: 60
rustgd/cgmath
A linear algebra and mathematics library for computer graphics.
Language: Rust - Size: 2.99 MB - Last synced at: 4 days ago - Pushed at: 5 months ago - Stars: 1,170 - Forks: 157
pandersper/AdditiveGroupPackage
A Mathematica package suite for exploring the simplest group Zn. The set of the integers from 0 to n-1 with group operation addition modulu n.
Language: Mathematica - Size: 438 KB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 1 - Forks: 0
reity/pratts
Pure-Python library that enables generation and verification of Pratt certificates for prime numbers.
Language: Python - Size: 24.4 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
SyntakticSugar/mathematics
Libary of mathematics :books: formally verified in Lean 4 :white_check_mark:
Language: Lean - Size: 55.7 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
MPRT-Lab/physicX
The library for mathematics and physics
Language: JavaScript - Size: 396 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0
lounres/Kone
[WIP] Kotlin library for pure mathematics computational experiments
Language: Kotlin - Size: 9.16 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 5 - Forks: 0
edelveart/fignumbers
A comprehensive TypeScript library for generating figurate numbers across multiple dimensions.
Language: TypeScript - Size: 343 KB - Last synced at: 4 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
asanchezyali/zmodn
The Zmodn package provides a class for representing integers modulo a given prime number. This class can be used to applications such as cryptography and computer algebra.
Language: Python - Size: 4.52 MB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0
supanadit/mathics
The missing mathematics operation library
Language: Go - Size: 4.88 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
jishanshaikh4/lib-math
🔰 A mathematical library in C (Portable to Python3) having implementation of numerical-methods, Gamma, Bessel, trigonometric, hyperbolic, approximation functions from scratch
Language: C - Size: 148 KB - Last synced at: 22 days ago - Pushed at: almost 4 years ago - Stars: 19 - Forks: 1
scaldings/math-library
A short and simple library including some helpful math calculations.
Language: Python - Size: 7.81 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
JuanGdelaCruz/GrobnerBasis
Library for computing Gröbner Basis in .NET. Includes sample application that checks if a given graph is k-colorable using the API.
Language: C# - Size: 777 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0
HoTT-Intro/Agda
Agda formalisation of the Introduction to Homotopy Type Theory
Language: Agda - Size: 6.82 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 110 - Forks: 4
blakehull/ScAlgebra
Abstract Algebra and Number Theory Package for Scala
Language: Scala - Size: 39.1 KB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
rocher/euler_tools
Assortment of Ada functions to solve Euler Project problems
Language: Ada - Size: 197 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
rocher/euler_examples
Some Euler Project problems solved in Ada
Language: Ada - Size: 323 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
Lolirofle/stuff-in-agda
Formal proofs in mathematics/computer science/logic formalized in the Agda language. A hobby project I am working on in my free time.
Language: Agda - Size: 4.67 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 1
SciProgCentre/kmath-gsl
GNU Scientific Library support for KMath
Language: Kotlin - Size: 831 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 0
FGlazov/ChowRings
Matroid Chow Rings, and their semi-small decompositions.
Language: Julia - Size: 36.1 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0
CPCoders/CPMath
A NPM mathematics library for CP
Language: JavaScript - Size: 81.1 KB - Last synced at: about 6 hours ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
LCluber/Type6.js
Mathematics library
Language: TypeScript - Size: 6.57 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
SciProgCentre/KEEP-math
A community-driven specification process for mathematics libraries in Kotlin
Size: 17.6 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 13 - Forks: 2
anfauglit/setLibrary
C library containing implementation of Set data structure and all commonly expected operations to manipulate them
Language: C - Size: 3.91 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
