Repository Index

A library of mechanised undecidability proofs in the Coq proof assistant.

• coq

The RAW JavaScript library to work with polynomials

• polynomials
• math
• javascript

Swift library like numpy, playgrounds notebook like jupyter.

• swift
• matrix
• linearalgebra
• playgrounds

OCaml Bioinformatics Library

a physics library wrapper for love2d

OCaml Math Library

Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]

• coq-library
• real-number
• coq
• coq-ci

Extensive math expression evaluator library for JavaScript and Node.js

• typescript
• interpreter
• javascript
• calculator

Delphi matrix library

A .NET library that provides fast, accurate and automatic differentiation (computes derivative / gradient) of mathematical functions.

• mathematical-modelling
• automatic-differentiation
• mathematics
• math

Cumo (pronounced like "koomo") is CUDA aware numerical library whose interface is highly compatible with Ruby Numo

• ruby
• cuda
• numo
• scicentific-computing

Scientific library for the D programming language

A math library for Haxe.

A platform independent tensor library with autograd for the JVM

• java
• library
• deep-neural-networks

A math and collisions library for Lua.

• math
• intersection
• lua

A GDScript port of Delaunator: A fast library for Delaunay triangulation of 2D points.

• computational-geometry
• algorithm
• gdscript
• delaunay

An Elixir library for performing 2D and 3D mathematics.

• elixir-lang
• matrices
• vector
• graphics

The Configurable Math Library

• vector-math
• expression-template
• cplusplus-11
• graphics

slick is a simple to use polygon collision library inspired by bump.lua

This library generates graph layouts using the TikZ graph layout package.

A library for placing labels in areas.

MAT is library for working with multi-dimensional arrays which supports efficient interfacing to foreign and CUDA code. BLAS and CUBLAS bindings are available.

An ActionScript 3 Geometry Library

MikuAuahDark's Various Lua Libraries