Math
Mathematics: proofs, geometry, calculus, linear algebra, probability, statistics, and math explained visually.
-
AlgebraOfGraphics.jl github.com
-
Gavel github.com
A project expo judging system by HackMIT that uses fancy math to get good results.
-
math.gl github.com
JavaScript math library focused on Geospatial and 3D use cases.
-
pganalyze collector github.com
Pganalyze statistics collector for gathering PostgreSQL metrics and log data.
-
scikit-tensor github.com
Python library for multilinear algebra and tensor factorizations.
-
hxmath github.com
A game-oriented math library.
-
MultivariateStats github.com
-
Math.NET Symbolics github.com
A basic open source computer algebra library for .NET, Silverlight and Mono written entirely in F#.
-
Awsome Deep Geometry Learning github.com
-
Gitbar github.com
Open-source，display GitHub contribution statistics on your menu bar.
-
Company-Coq github.com
IDE extensions for Proof General's Coq mode.
-
Cirno's Perfect Math Library github.com
Math/intersection library designed for games.
-
go3d github.com
Performance oriented 2D/3D math package for Go.
-
cyCodeBase github.com
Compact foundation library with math, geometry, image & graphics utilities.
-
Braincup github.com
Memory, focus & math trainer.
-
Mathematica wolfram.com
Paid technical-computing system for symbolic and numerical mathematics, visualization, programming, and data analysis.
-
SageMath sagemath.org
Free mathematics software combining computer algebra, numerical computation, geometry, statistics, and visualization through Python.
-
SciPy scipy.org
Fundamental algorithms for scientific computing in Python
-
tigl github.com
The TiGL Geometry Library can be used for the computation and processing of aircraft geometries stored inside CPACS files.
-
cool-japan/scirs github.com
Production-Ready pure Rust scientific computing, includes linear algebra, optimization, statistics, neural networks and more. API inspired by Python's SciPy.
-
arkworks-rs/circom-compat github.com
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation.
-
beaker github.com
Statistics and Metrics library for Elixir.
-
Four Color Theorem github.com
Formal proof of the Four Color Theorem, a landmark result of graph theory.
-
CoqHammer github.com
General-purpose automated reasoning hammer tool that combines learning from previous proofs with the translation of problems to automated provers and the reconstruction of found proofs.
-
Analysis github.com
Library for classical real analysis compatible with Mathematical Components.
-
lzanini/mdbook-katex github.com
[mdbook-katex] - A preprocessor for mdBook, using KaTeX to render LaTeX math expressions.
-
Generator github.com
Procedural geometry generation library for C++11.
-
alrevuelta/rs-merkle-tree github.com
Merkle tree implementation in Rust with configurable storage backends and hash functions. Fixed depth and incremental only. Optimized for fast proof generation.
-
SwaTex github.com
KaTeX-compatible LaTeX math rendering engine with no JavaScript, WebView, or DOM.
-
Movemate github.com
Smart contract building blocks for Aptos and Sui (Math utilities, governance contracts, escrow, and more). Maintained by the Pentagon team.
-
GeoCoq github.com
Formalization of geometry based on Tarski's axiom system.
-
tree-math github.com
Convert functions that operate on arrays into functions that operate on PyTrees.
-
jupyter-manim github.com
Display manim (Mathematical Animation Engine) videos or GIFs in Jupyter notebooks.
-
cpmech/russell github.com
Rust Scientific Library for numerical mathematics, ordinary differential equations, special math functions, high-performance (sparse) linear algebra
-
Learning Maths again github.com
-
Wagyu github.com
A general library for geometry operations of union, intersections, difference, and xor. [mapbox-wagyu original]
-
PrivateCaptcha github.com
Proof-of-Work captcha, written in Go.
-
numerix github.com
A collection of useful mathematical functions with a slant towards statistics, linear algebra and machine learning.
-
HttpSniffer github.com
A multi-threading tool to sniff TCP flow statistics and embedded HTTP headers from PCAP file. Each TCP flow carrying HTTP is exported to text file in JSON format.
-
Tesseract github.com
Make mapping more fun by using modern dynamic rendering techniques, sothat you can get instant feedback on lighting changes, not just geometry.
-
FastMath github.com
. [Delphi] Delphi math library that is optimized for fast performance (sometimes at the cost of not performing error checking or losing a little accuracy). It uses hand-optimized assembly code to achieve much better performance then the equivalent functions provided by the…
-
Abstract Algebra github.com
-
topo github.com
A Geometry library for Elixir that calculates spatial relationships between two geometries.
-
simplefeatures github.com
simplesfeatures is a 2D geometry library that provides Go types that model geometries, as well as algorithms that operate on them.
-
SMTCoq github.com
Tool that checks proof witnesses coming from external SAT and SMT solvers.
-
sparse github.com
Go Sparse matrix formats for linear algebra supporting scientific and machine learning applications, compatible with gonum matrix libraries.
-
Math Classes github.com
Abstract interfaces for mathematical structures based on type classes.
-
differ github.com
A separation axis theorem collision library.
-
cpc github.com
Parses and calculates strings of math with support for units and unit conversion, from 1+2 to 1% of round(1 lightyear / 14!s to km/h).
-
imbenrabi/Financial-Modeling-Prep-MCP-Server github.com
250+ Financial Modeling Prep API tools: financials, technical indicators, insider trading, SEC filings, earnings, and crypto.
- next page of items loading…
