mathematics-library

There are 21 repositories under mathematics-library topic.

  • rustgd/cgmath

    A linear algebra and mathematics library for computer graphics.

    Language:Rust1.2k31183156
  • kmath

    SciProgCentre/kmath

    Kotlin mathematics extensions library

    Language:Kotlin7081923563

  • HoTT-Intro/Agda

    Agda formalisation of the Introduction to Homotopy Type Theory

    Language:Agda1251004

  • 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:C191171

  • SciProgCentre/KEEP-math

    A community-driven specification process for mathematics libraries in Kotlin

    14301

  • 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:Agda9101

  • SciProgCentre/kmath-gsl

    GNU Scientific Library support for KMath

    Language:Kotlin9190

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

    lounres/Kone

    [WIP] Kotlin library for pure mathematics computational experiments

    Language:Kotlin51320

  • FGlazov/ChowRings

    Matroid Chow Rings, and their semi-small decompositions.

    Language:Julia2200

  • rocher/euler_tools

    Assortment of Ada functions to solve Euler Project problems

    Language:Ada2200

  • 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:Python1210

  • blakehull/ScAlgebra

    Abstract Algebra and Number Theory Package for Scala

    Language:Scala1100

  • LCluber/Type6.js

    Mathematics library

    Language:TypeScript1200

  • MPRT-Lab/physicX

    The library for mathematics and physics

    Language:JavaScript1110

  • CPCoders/CPMath

    A NPM mathematics library for CP

    Language:JavaScript0120

  • edelveart/fignumbers

    A comprehensive TypeScript library for generating figurate numbers across multiple dimensions.

    Language:TypeScript00

  • SyntakticSugar/mathematics

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

    Language:Lean0100

  • anfauglit/setLibrary

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

    Language:C10

  • scaldings/math-library

    A short and simple library including some helpful math calculations.

    Language:Python10

  • supanadit/mathics

    The missing mathematics operation library

    Language:Go201