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 1102
• kmath

  SciProgCentre / kmath

  Kotlin mathematics extensions library

  jetbrains-researchkotlinmathematics-library
  Language:Kotlin 628

• HoTT-Intro / Agda

  Agda formalisation of the Introduction to Homotopy Type Theory

  agdahomotopy-type-theoryhott-ufmathematicsmathematics-librarytextbookunivalenceunivalence-axiomunivalent-foundationsunivalent-mathematics
  Language:Agda 119

• 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-mathmathematicsscientificmathematics-librarynumerical-methods
  Language:C 20

• SciProgCentre / KEEP-math

  A community-driven specification process for mathematics libraries in Kotlin

  kotlinmathematics-libraryproposal
  13

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

  lounres / Kone

  [WIP] Kotlin library for pure mathematics computational experiments

  algorithmsjvmkotlinmathmathematical-programmingmathematics-librarykotlin-multiplatform
  Language:Kotlin 4

• FGlazov / ChowRings

  Matroid Chow Rings, and their semi-small decompositions.

  matroidmatroidschowjuliaalgebraic-geometrydiscrete-mathematicsmathematics-library
  Language:Julia 2

• 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# 2

• blakehull / ScAlgebra

  Abstract Algebra and Number Theory Package for Scala

  algebramodern-algebranumber-theorymathmathematicsmathematics-library
  Language:Scala 1

• LCluber / Type6.js

  Mathematics library

  mathematicsjavascripttypescriptmathematics-librarymaths
  Language:TypeScript 1

• rocher / euler_tools

  Assortment of Ada functions to solve Euler Project problems

  adaada-libraryaliremathematical-functionsmathematical-programmingmathematicsmathematics-libraryproject-euler
  Language:Ada 1

• CPCoders / CPMath

  A NPM mathematics library for CP

  hacktoberfestmathematics-library
  Language:JavaScript 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

  gogolanggo-librarygolang-librarymathmathematicsmathematics-library
  Language:Go