Math
Mathematics: proofs, geometry, calculus, linear algebra, probability, statistics, and math explained visually.
-
Wansmer/binary-swap.nvim github.com
Swapping operands and operators in binary expressions: comparison and mathematical operations.
-
Trakt github.com
Generic goal preprocessing tool for proof automation tactics.
-
Mathematical Scripts github.com
A collection of math scripts.
-
MicroPython_Statistics github.com
Statistics module for MicroPython.
-
math-clamp github.com
Clamp a number.
-
brainunit github.com
Physical units and unit-aware mathematical system in JAX.
-
witer33/fiberpow github.com
Anti DDoS/Bot Middleware with a customizable Proof Of Work challenge.
-
MathComp Tutorial Materials github.com
Source code for Mathematical Components tutorials.
-
Coqtail Math github.com
Library of mathematical results ranging from arithmetic to real and complex analysis.
-
SharePoint Workflow Converter github.com
A proof-of-concept C# console application for retrieving legacy 2010 & 2013 custom SharePoint workflow definition files, and creating new Power Automate flows programmatically.
-
LimeChain AssemblyScript Runtime github.com
An account-based Substrate proof-of-concept runtime written in AssemblyScript; from LimeChain.
-
mathpaqs github.com
Collection of mathematical, 100% portable, packages in the Ada programming language.
-
Math github.com
ESLint plugin related to Math object and Number.
-
AS3LinAlg github.com
Linear Algebra library (Jacobi SVD, Eigen Vectors/Values, Cholesky LU, etc).
-
expr github.com
An Elixir library for parsing and evaluating mathematical expressions.
-
Markout github.com
Native Markdown editor with live preview, offline KaTeX math, Mermaid diagrams, and HTML/PDF export. Languages: Swift Website: https://github.com/maxmilian/markout
-
mqtt-stats github.com
Subscriber client to monitor MQTT Topic Statistics.
-
Math.sign github.com
-
InMath github.com
-
sebsjames/maths github.com
A templated C++20 math library which emphasizes convenience and pleasure for the client programmer (used in mathplot). [Apache2] website
-
Geometry with Swift github.com
-
pocrypt github.com
Naive Proof of Concept Crypter for GNU/Linux ELF64.
-
Zexpression github.com
Parse and evalate math expressions with functions and variables.
-
ipx_wrap github.com
A proof-of-concept IPX implementation for Linux using eBPF.
-
Statistics for Strava github.com
-
Wiremap github.com
A self-hosted visual Docker network topology explorer with real-time log streaming, live stats, embedded terminal, and container inspection.
-
coq-scripts github.com
Scripts for dealing with Coq files, including tabulating proof times.
-
Vlang Benchmarks Visualization github.com
Fancy statistics and plots for Is V still fast?.
-
descriptive_statistics github.com
Descriptive Statistics for Elixir.
-
yal212/pomodoro.nvim github.com
Focus-first Pomodoro timer with automatic work, break cycles, session statistics, and a distraction-free focus mode.
-
Floating-Point Numbers and Formal Proof github.com
Introductory course on Coq real numbers and floating-point numbers from the Flocq library.
-
geo-energy-math github.com
Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018).
-
Csg.as github.com
Constructive Solid Geometry on 3D meshes.
-
qrational github.com
Elixir library implementing rational numbers and math operations for them.
-
easy-math.js github.com
A tiny easy math library including addition, multiplication, subtraction, and division.
-
CGAL cgal.org
Algorithms for computational geometry. (C++, mixed LGPL/GPL, GitHub)
-
Matlab mathworks.com
-
CoCalc (SageMathCloud) cocalc.com
Notebooks with 17 supported kernel types, course management, LaTeX document authoring, simultaneous document editing and integration with the SageMath computer algebra system.
-
AWStats awstats.org
Generates web, streaming, ftp or mail server statistics graphically. (Source Code) GPL-3.0 Perl
-
Wonder Women Tech wonderwomentech.com
Organization that produces year-round programming and national and international conferences that highlight, educate, and celebrate women and diversity in STEAM (Science, Technology, Engineering, Arts, Math), innovation and entrepreneurialism.
-
On Generative Algorithms inconvergent.net
Nice 13-part walkthrough of interesting algorithms.
-
PhishStats phishstats.info
Phishing Statistics with search for IP, domain and website title.
-
Geometric Tools geometrictools.com
Mathematics, geometry, graphics, image analysis and physics in C++14.
-
Interactive Computer Graphics coursera.org
-
A Primer on Bezier Curves pomax.github.io
-
MathOverflow mathoverflow.net
Questions and answers for professional mathematicians.
-
Mathematics Stack Exchange math.stackexchange.com
Community questions and answers about mathematics problems and proofs.
-
Immersive Linear Algebra immersivemath.com
J. Ström, K. Åström, and T. Akenine-Möller.
-
Desmos desmos.com
Browser-based graphing calculator with geometry, tables, statistics, and classroom activities.
-
CVXPY cvxpy.org
Open-source Python modeling language for convex, geometric, quasiconvex, and related optimization problems.
- next page of items loading…
