Math
Mathematics: proofs, geometry, calculus, linear algebra, probability, statistics, and math explained visually.
-
Cglm github.com
Highly optimized OpenGL math.
-
samvallad33/vestige github.com
Causal proof engine and operating system for AI agents built on Strata, an append-only signed log. No vectors and no RAG. Every answer carries its proof as a memory id, an edge path or a receipt, and it traces a failure back to the commit that caused it
-
S2 Geometry Library github.com
A package for manipulating geometric shapes. Unlike many geometry libraries, S2 is primarily designed to work with spherical geometry, i.e., shapes drawn on a sphere rather than on a planar 2D map. This makes it especially suitable for working with geographic data.
-
BLIS github.com
High-performance BLAS-like dense linear algebra libraries. (C, BSD, GitHub)
-
faer-rs github.com
[faer] - Linear algebra foundation for Rust
-
LeagueStats github.com
Statistics website for players of the online game League of Legends.
-
TinyExpr github.com
A C library for parsing and evaluating math expressions from strings. [zlib]
-
kalker github.com
A scientific calculator that supports math-like syntax with user-defined variables, functions, derivation, integration, and complex numbers. Cross-platform + WASM support
-
cairo github.com
Cairo is the first Turing-complete language for creating provable programs for general computation. This is also the native language of StarkNet, a ZK-Rollup using STARK proofs
-
gosl github.com
Go scientific library for linear algebra, FFT, geometry, NURBS, numerical methods, probabilities, optimisation, differential equations, and more.
-
DirectXMath github.com
An all inline SIMD C++ linear algebra library for use in games and graphics apps.
-
AI Explainability 360 github.com
Interpretability and explainability of data and machine learning models.
-
nix-output-monitor github.com
A tool to produce useful graphs and statistics when building derivations.
-
AdGuardian-Term github.com
[adguardian] - Terminal-based, real-time traffic monitoring and statistics for your AdGuard Home instance
-
Easy3D github.com
Easy-to-use library for 3D modeling, geometry processing, and rendering.
-
Cyclops Level Builder github.com
A level builder for quick prototypes and proof-of-concepts.
-
Handmade Math github.com
🔥 - Simple, public domain math library for games and computer graphics.
-
JSTS github.com
JavaScript Topology Suite.
-
Hob0Rules github.com
Password cracking rules for Hashcat based on statistics and industry patterns.
-
stockstats github.com
Supply a wrapper StockDataFrame based on the pandas.DataFrame with inline stock statistics/indicators support.
-
iosMath github.com
A library for displaying beautifully rendered math equations. Enables typesetting LaTeX math formulae in iOS.
-
Computational Geometry Unity Library github.com
A library of computational geometry algorithms for Unity.
-
Swift-Brain github.com
Artificial Intelligence/Machine Learning data structures and Swift algorithms for future iOS development. Bayes theorem, Neural Networks, and more AI.
-
Joy github.com
joy is a traffic analysis and parsing tool that was developed. In part to assist in classifying encrypted traffic streams, such as HTTPS traffic. It is able to parse pcap files into usable json files that contain details on the capture statistics and features.
-
adaptive github.com
Tools for adaptive and parallel samping of mathematical functions.
-
orb github.com
2D geometry types with clipping, GeoJSON and Mapbox Vector Tile support.
-
Vince's CSV Parser github.com
A fast, self-contained, streaming C++17 CSV parser with optional type-casting and statistics. [MIT]
-
Geometric.js github.com
A JavaScript library for doing geometry.
-
linmath.h github.com
A lean linear math library, aimed at graphics programming. [WTFPL]
-
UniMath github.com
Library which aims to formalize a substantial body of mathematics using the univalent point of view.
-
nix-topology github.com
Generate infrastructure and network diagrams directly from your NixOS configuration.
-
geom github.com
A 2D/3D geometry toolkit for Clojure/Clojurescript.
-
linalg.h github.com
Single header, public domain, short vector math library for C++. [Unlicense]
-
Elpscrk github.com
Elpscrk is like cupp, but it's based on permutations and statistics while being memory efficient.
-
Learn Statistics Using Python github.com
Learn Statistics using an application-centric programming approach
-
Godello github.com
A Trello-like kanban board application made with Godot. A proof of concept for complex non-game applications with Godot, as well real-time online interactions between multiple users. Includes backend code.
-
libfixmath github.com
Cross Platform Fixed Point Maths Library. [MIT]
-
DDMathParser github.com
DDMathParser makes it easy to parse a String and evaluate it as a mathematical expression.
-
Fastor github.com
A lightweight high performance tensor algebra framework for modern C++. [MIT]
-
Klein github.com
A fast, SIMD-optimized C++17 Geometric Algebra library for point, line, and plane projections, intersections, joins, rigid-body motion, and more. [MIT] website
-
Upsurge github.com
Swift math.
-
Axect/Peroxide github.com
Rust numeric library containing linear algebra, numerical analysis, statistics and machine learning tools in pure rust
-
JCL github.com
. [Delphi] [FPC] Set of thoroughly tested and fully documented utility functions and non-visual classes which can be instantly reused in your Delphi and C++ Builder projects. The library is grouped into several categories such as Strings, Files and I/O, Security, Math and many…
-
Words Counted github.com
Pure Ruby library counting word statistics with different custom options.
-
Distrax github.com
Reimplementation of TensorFlow Probability, containing probability distributions and bijectors.
-
dusk-network/plonk github.com
A high-performance, Rust-native implementation of the PLONK zk-SNARK over BLS12-381, optimized with custom gates and KZG10 polynomial commitment for efficient zero-knowledge proofs. [PLONK]
-
mathgl github.com
Pure Go math package specialized for 3D math, with inspiration from GLM.
-
Julian/lean.nvim github.com
Support for the Lean Theorem Prover.
-
MIT OpenCourseWare Lectures on Linear Algebra (18.06) as Jupyter Notebooks github.com
Juan Klopper.
-
Kazmath github.com
Math library targeted at games.
- next page of items loading…
