Math
Mathematics: proofs, geometry, calculus, linear algebra, probability, statistics, and math explained visually.
-
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.
-
ML/AI Interview Prep github.com
500+ ML/AI interview Q&A with runnable code — covers ML fundamentals, deep learning, NLP, PyTorch, scikit-learn pipelines, and system design
-
MathComp School github.com
Coq sources for lessons and exercises that introduce the SSReflect proof language and the Mathematical Components library.
-
matrix github.com
A clean, generic, zero-dependency matrix math package for Go with support for arithmetic, decompositions, and linear system solving.
-
Network Science: Models, Mathematics, and Computation github.com
Undergraduate lecture notes in network science featuring custom CSS and companion live-coding notebooks via Google Colab. (see https://network-science-notes.github.io/).
-
Docker-MathComp github.com
Docker images for many combinations of versions of Coq and the Mathematical Components library.
-
mexce github.com
A single-header, dependency-free JIT compiler for scalar mathematical expressions that generates optimized x87 FPU machine code. [BSD]
-
Transmodel and IFF to GTFS github.com
Imports and syncs (Transmodel) BISON Koppelvlak1, IFF (a format written by HP/EDS, somewhat similiar to ATCO CIF) to import timetables of the railway networks. The internal pseudo-NETeX datastructure allows to export to GTFS and there are proof-of-concepts to export to other…
-
foblex2D github.com
Angular library for 2D geometry with utilities for points, lines, vectors, shapes, and transformations, used in Foblex Flow.
-
MathComp Extra github.com
Extra material for the Mathematical Components library, including the AKS primality test and RSA encryption and decryption.
-
vstats github.com
A dependency-free Linear Algebra, Statistics, and Machine Learning library written from scratch in V.
-
lalg github.com
Interface to dense linear algebra packages.
-
qcomplex github.com
Elixir library implementing complex numbers and math operations for them.
-
caustic github.com
Elixir cryptocurrency library for Bitcoin, Ethereum, and other blockchains. Includes cryptography, number theory (prime, congruence), and general mathematics library for exploratory math.
-
Puiseuxth github.com
Proof of Puiseux's theorem and computation of roots of polynomials of Puiseux's series.
-
godot-math github.com
-
mmath github.com
A library for performing math on number 'arrays' in binaries.
-
Swifty Mathematics github.com
-
geojson-multiply github.com
merge normal geojson features into one multi geometry type feature
-
Shrink github.com
Gives an insight into the usage of your media library similar to a disk usage statistics viewer for your hard drives, also shows you which items are being used and published, so you can easily find media items that unnecessarily take up space in your database and offers you…
-
geometry-rust-version github.com
-
geometry-datetime github.com
-
raymondware/focusmode.nvim github.com
Pomodoro and deep-work timer with configurable intervals, distraction blocking, session statistics, and a dashboard.
- next page of items loading…
