mathematics-library

There are 2 repositories under mathematics-library topic.

• rustgd / cgmath

  A linear algebra and mathematics library for computer graphics.

  rustlinear-algebramatrixvectorcomputer-graphicssimdsimd-vectormathematics-library
  Language:Rust 1146
• kmath

  SciProgCentre / kmath

  Kotlin mathematics extensions library

  jetbrains-researchkotlinmathematics-library
  Language:Kotlin 660

• HoTT-Intro / Agda

  Agda formalisation of the Introduction to Homotopy Type Theory

  hott-ufagdatextbookunivalent-foundationsunivalenceunivalent-mathematicsunivalence-axiomhomotopy-type-theorymathematicsmathematics-library
  Language:Agda 124

• jishanshaikh4 / lib-math

  🔰 A mathematical library in C (Portable to Python3) having implementation of numerical-methods, Gamma, Bessel, trigonometric, hyperbolic, approximation functions from scratch

  lib-mathmathematicsmathematics-librarynumerical-methodsscientific
  Language:C 19

• SciProgCentre / KEEP-math

  A community-driven specification process for mathematics libraries in Kotlin

  kotlinmathematics-libraryproposal
  14

• 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.

  formalizationagdamathematicslogictype-theoryset-theorydependent-typestheorem-provingcategory-theoryproofsmathematics-libraryverificationdata-structures
  Language:Agda 8

• SciProgCentre / kmath-gsl

  GNU Scientific Library support for KMath

  kotlingslmathematics-libraryjetbrains-research
  Language:Kotlin 8

• 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.

  grobner-basisgrobnermathematics-librarycsharplibraryabstract-algebragroebnerpolynomial-rings
  Language:C# 5
• Kone

  lounres / Kone

  [WIP] Kotlin library for pure mathematics computational experiments

  algorithmsjvmkotlinkotlin-multiplatformmathmathematical-programmingmathematics-library
  Language:Kotlin 5

• FGlazov / ChowRings

  Matroid Chow Rings, and their semi-small decompositions.

  matroidmatroidschowjuliaalgebraic-geometrydiscrete-mathematicsmathematics-library
  Language:Julia 2

• rocher / euler_tools

  Assortment of Ada functions to solve Euler Project problems

  adaada-librarymathematical-functionsmathematical-programmingmathematicsmathematics-libraryproject-euleralire
  Language:Ada 2

• 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.

  arithmeticgalois-fieldsgalois-groupmodular-arithmeticnumber-theorygroup-theorygroupsmathmathematicsmathematics-educationmathematics-librarycriptography
  Language:Python 1

• blakehull / ScAlgebra

  Abstract Algebra and Number Theory Package for Scala

  algebramodern-algebranumber-theorymathmathematicsmathematics-library
  Language:Scala 1

• LCluber / Type6.js

  Mathematics library

  javascriptmathematicsmathematics-librarymathstypescript
  Language:TypeScript 1

• MPRT-Lab / physicX

  The library for mathematics and physics

  laboratorymathematics-libraryphysics-based
  Language:JavaScript 1

• CPCoders / CPMath

  A NPM mathematics library for CP

  hacktoberfestmathematics-library
  Language:JavaScript 0

• SyntakticSugar / mathematics

  Libary of mathematics :books: formally verified in Lean 4 :white_check_mark:

  lean4mathematics-library
  Language:Lean 0

• anfauglit / setLibrary

  C library containing implementation of Set data structure and all commonly expected operations to manipulate them

  mathematicssetset-theoryset-operationscmathematics-library
  Language:C

• scaldings / math-library

  A short and simple library including some helpful math calculations.

  mathmathematicsmathematics-librarypython
  Language:Python

• supanadit / mathics

  The missing mathematics operation library

  gogo-librarygolanggolang-librarymathmathematicsmathematics-library
  Language:Go