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
Repository Index
47,133 repositories indexed
49–61 of 61 · Most stars
Mathpaqs: a collection of mathematical packages in pure Ada
- ada
- ada-language
- math-library
- ada-library
An Elixir library for parsing and evaluating mathematical expressions
Object-Based mathematical operations in VBA
C++ modules for scalar, vector and complex math. And maths.
- cpp20
- math
- mathematics
- vectors
DetecDiv provides a comprehensive set of tools to analyze time microscopy images using deep learning methods. The software structure is such that data can be processed either at the command line or using a graphical user-interface. Detecdiv classification models include : image classification and regression, semantic segmentation, LSTM networks to analyze data and image timeseries.
A tiny easy math include addition multiplication subtraction division.
- math
- math-library
- mathematics
- true-math
A collection of matrix handling scripts
Vendor-agnostic, FHIR-Genomics-aligned API contract for cross-vendor NGS interpretation. JSON Schema + TypeScript + Python pydantic.
A collection of swift playground about mathematics.
This is a class module in beta state to implement computations with large integers and reals/rationals numbers, while proposing representation of numerical values as scientific notation, allowing to obtain several cohorts for the same number (a lot of fun!).
- arithmetic
- biginteger
- biginteger-library
- fractional
A common interface used for modeling Mathematical Programs (e.g., Convex Optimization problems) in the language Go (Golang).
- convex-optimization
- linear-programming
- optimization
- quadratic-programming
A Do-Whatever Matrix-Math class in Actionscript 3