Math
Mathematics: proofs, geometry, calculus, linear algebra, probability, statistics, and math explained visually.
-
Autonomica "IPFS Social Proof" github.com
Autonomica is a Keybase-like Dapp for creating an identity and proving this identity via published social media and web proofs.
-
gaborvecsei/usage-tracker.nvim github.com
Track your usage and visualize statistics easily.
-
InfiniteCanvas github.com
Proof of concept Mac drawing application. Languages: Swift
-
statistics github.com
Some basic statistical functions for Elixir.
-
Euclid.ts github.com
2D Euclidean geometry classes, utilities, and drawing tools.
-
gograph github.com
A golang generic graph library that provides mathematical graph-theory and algorithms.
-
Nonanti/mathcore github.com
Symbolic mathematics library with CAS capabilities. Supports differentiation, integration, equation solving, and arbitrary precision arithmetic
-
MorpholibJ github.com
Collection of mathematical morphology methods and plugins for ImageJ.
-
pgstats github.com
Collects PostgreSQL statistics, and either saves them in CSV files or print them on the stdout.
-
jolars/basin github.com
[basin] - Numerical optimization library with first-order, derivative-free, nonlinear least-squares, evolutionary, and constrained solvers, generic over linear-algebra backends
-
AI-Assisted Mathematical Discovery github.com
Open thirteen-week course with notes, notebooks, exercises, and case studies on coding agents, machine learning, language models, reinforcement learning, and experimental mathematical research.
-
Math snippets github.com
-
CoRN github.com
Library of constructive real analysis and algebra.
-
CoGran github.com
Resample statistics from one set of GeoJSON polygons to another
-
REVISE: REvealing VIsual biaSEs github.com
Automatically detect bias in visual data sets.
-
mrMath github.com
. [Delphi] [FPC] High-performance, multithreaded matrix and linear algebra library featuring hand-optimized assembler routines for SSE, AVX, AVX2 and FMA. Provides core decompositions (SVD, LU, QR, Hessian, Cholesky), optimized eigenvalue solvers for symmetric matrices, and…
-
miniF2F github.com
Cross-system benchmark of formalized olympiad, high-school, and undergraduate problems for evaluating automated theorem provers.
-
algebra github.com
Algebraic structures.
-
svelte-streamdown github.com
Port of streamdown. An all in one markdown renderer optimized for streaming with built in styles, math, mermaid, code highlighting support and more.
-
ember-math-helpers github.com
-
superseriousstats github.com
Fast and efficient program to create statistics out of various types of chat logs. PHP Web
-
GeometronLib github.com
Meshes for 3D shapes (cube, sphere, etc.) and ray / geometry intersection.
-
abacus github.com
Evaluate math terms in Elixir.
-
gemini-cli-commands-demo github.com
A proof-of-concept demonstrating a sub-agent orchestration system built within the Gemini CLI.
-
MLib github.com
Math and shape-intersection detection library written in Lua. It's aim is to be robust and easy to use.
-
SSProve github.com
Framework for modular cryptographic proofs based on the Mathematical Components library.
-
graphmath github.com
An Elixir library for performing 2D and 3D mathematics.
-
cml github.com
The configurable math library. [Boost]
-
AggPasMod github.com
. [Delphi] Modernized Pascal Anti-Grain Geometry. Based on AggPas, which is itself based on the Anti-Grain Geometry, this project offers support for the latest Delphi Versions (XE and above) and contains some helper classes (VCL components and FireMonkey interface). 2D vector…
-
Hydras & Co. github.com
Continuously in-progress book and library on Kirby and Paris' hydra battles and other entertaining formalized mathematics in Coq, including a proof of the Gödel-Rosser first incompleteness theorem.
-
DelphiKafkaClient github.com
. [Delphi] Cross platform Delphi client/wrapper for Apache Kafka. Windows (i386/x64) and Linux (x64) are supported. Tested on Delphi 10.4, but should work with all modern Delphi releases. While it appears to work as expected, the project is a proof of concept and has never been…
-
CoqEAL github.com
Framework to ease change of data representations in proofs.
-
multimath github.com
Core to create fast image math in WebAssembly and JS.
-
neo github.com
Matrix and other math, accelerated by WebGPU
-
necrom4/calcium.nvim github.com
A powerful lua-lib-math in-buffer calculator with visual mode, functions and variable support.
-
OpenTirePython github.com
An open-source mathematical tire modelling library.
-
gibran github.com
Gibran is an Elixir port of WordsCounted, a natural language processor that extracts useful statistics from text.
-
Generative Modeling Explained github.com
Statistical Machine Learning Tutorials, 2022. This tutorial on generative modeling is in part of Statistical Machine Learning Tutorial by Ying Nian Wu at UCLA Statistics. The tutorial goes over the key equations and algorithms for learning recent generative models, including…
-
Dungeons of Noudar github.com
First-person 2.5D dungeon-crawler on protected mode. Written in C++, includes software rendering, fixed point math, test coverage and sound (PC speaker, Adlib, OPL2LPT).
-
Vivid github.com
Color math, manipulation and conversion library.
-
100 famous theorems proved using Coq github.com
-
NetCrypt github.com
A proof-of-concept packer for .NET executables, designed to provide a starting point to explain the basic principles of runtime packing.
-
MathFlow github.com
C# math expression library with symbolic computation (differentiation, simplification, equation solving).
-
rtg-math github.com
-
Hashcash for PHP/JavaScript forms github.com
An alternative to captcha to fight spam, based on proof-of-work.
-
FCF github.com
Framework for proofs of cryptography.
-
insyra github.com
Data analysis library with statistics, visualization, Parquet support, and Python integration.
-
geo-utils-cpp github.com
Header-only C++17 library for spherical lat/lng geometry: distance, bearing, area, point-in-polygon. [Apache2]
-
ml-rust/numr github.com
[numr] - Numerical computing library for Rust inspired by NumPy, with tensors, linear algebra, FFT, statistics, automatic differentiation, and GPU acceleration.
-
geom github.com
2D geometry for golang.
- next page of items loading…
