Repository Index

An extensive math library for JavaScript and Node.js

• math
• javascript
• complex-numbers
• matrices

An open source mesh slicer framework for Unity3D Game Engine. Written in C#.

QuTiP: Quantum Toolbox in Python

• qutip
• python
• quantum-toolbox
• quantum

Computational Geometry Unity library with implementations of intersection algorithms, triangulations like delaunay, voronoi diagrams, polygon clipping, bezier curves, ear clipping, convex hulls, mesh simplification, etc

• unity3d
• computational-geometry
• voronoi
• intersections

GeneticSharp is a fast, extensible, multi-platform and multithreading C# Genetic Algorithm library that simplifies the development of applications using Genetic Algorithms (GAs).

• genetic-algorithms
• artificial-intelligence
• c-sharp
• dotnet

Fellow Oak DICOM for .NET, .NET Core, Universal Windows, Android, iOS, Mono and Unity

• dicom
• netcore
• medical
• medical-imaging

Validated, scalable, community developed variant calling, RNA-seq and small RNA analysis

Open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.

• csharp
• algebra
• integration
• latex

:1234: Bits, bytes and general-purpose calculator

• storage
• storage-unit-converter
• command-line
• standalone

Simulate Functional Mock-up Units (FMUs) in Python

• fmi
• python
• fmi-standard

A unit handling library for ruby

• ruby
• unit-math
• conversions
• temperature-units

A C++14-compatible physical units library with no dependencies and a single-file delivery option. Emphasis on safety, accessibility, performance, and developer experience.

• cpp
• cpp14
• cpp14-library
• dimensional-analysis

Encapsulate measurements and their units in Ruby and Ruby on Rails.

The universe in numbers. Free, open-source calculators for everything countable.

• astro
• bun
• calculator
• calculators

Formal proof of the Four Color Theorem [maintainer=@ybertot]

• coq
• ssreflect
• mathcomp
• four-color-theorem

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]

• coq-library
• typeclasses
• mathematics
• coq

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

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

A handy calculator, based on Rust and WebAssembly.

• webassembly
• calculator
• math
• rust

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

• coq
• hydra-battles
• ordinal-notations
• formal-proofs

The repository host gives no description.

Graph Theory [maintainers=@chdoc,@damien-pous]

• coq
• graph-theory
• mathcomp
• docker-coq-action

A common lisp library that provides a numeric type with optional unit and/or uncertainty for computations with automatic error propagation.

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]

• coq
• mathcomp
• ssreflect
• tarjan-algorithm

Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]

• coq
• complex-analysis
• real-analysis