Math
Mathematics: proofs, geometry, calculus, linear algebra, probability, statistics, and math explained visually.
-
Waterproof proof language github.com
Plugin providing a language for writing proof scripts in a style that resembles non-mechanized mathematical proof.
-
Relation Algebra github.com
Modular formalization of algebras with heterogeneous binary relations as models.
-
cl-geometry github.com
-
Statistical Physics github.com
-
geojson-invalid-geometry github.com
List of GeoJSON invalid geometry issues with example files.
-
Finmap github.com
Extension of Mathematical Components with finite maps, sets, and multisets.
-
QDSEquations github.com
. [Delphi] Equation editor for Delphi and Lazarus that allows you to enter and display math formulas of any complexity, from simple Greek symbols to matrixes and complex integral expressions.
-
Tautulli github.com
Monitor and get statistics from your Plex server (46★).
-
dos-over-tor github.com
Proof of concept denial of service over Tor stress test tool.
-
Waterproof editor github.com
Educational environment for writing mathematical proofs in interactive notebooks.
-
Coral github.com
High-performance classes for 3D mathematics (Point, Vector, Matrix, Quaternion).
-
godist github.com
Various probability distributions, and associated methods.
-
AS3GeomAlgo github.com
Collection of geometry algorithms. Port of hxGeomAlgo.
-
opam-switch-mode github.com
IDE extension for Proof General to locally change or reset the opam switch from a menu or using a command.
-
libstatistics_collector github.com
ROS 2 library providing classes to collect measurements and calculate statistics across them.
-
Algebra Tactics github.com
Ring and field tactics for Mathematical Components.
-
Odd Order Theorem github.com
Formal proof of the Odd Order Theorem, a landmark result of finite group theory.
-
CoLoR github.com
Library on rewriting theory, lambda-calculus and termination, with sub-libraries on common data structures extending the Coq standard library.
-
S2 geojson github.com
Convert geojson to s2 cells & demonstrating some S2 geometry features on map.
-
gosh github.com
Provide Go Statistics Handler, Struct, Measure Method.
-
infix-math github.com
-
Strike github.com
2D collision detection library. Extendable, based on Separating-Axis-Theorem.
-
lngen github.com
Tool for generating locally nameless Coq definitions and proofs.
-
ulinalg github.com
Small size matrix handling module with a few linear algebra operations specifically for MicroPython (Python 3).
-
Mczify github.com
Library enabling Micromega arithmetic solvers to work when using Mathematical Components number definitions.
-
Gaia github.com
Implementation of books from Bourbaki's Elements of Mathematics, including set theory and number theory.
-
streamsx.topology github.com
Libraries to enable building IBM Streams application in Java, Python or Scala.
-
lustra github.com
Advanced PostgreSQL ORM with ActiveRecord pattern, full-text search, geometry types, and more
-
AESTETIK github.com
Autoencoder for spatial transcriptomics representation learning using topology and histology image knowledge.
-
Coinduction github.com
Plugin for doing proofs by enhanced coinduction.
-
math-packages github.com
Collection of basic math routines in Ada.
-
Big Decimal Math github.com
. [Delphi] This unit provides a arbitrary precision BCD float number type. It can be used like any numeric type and supports: At least numbers between 10-2147483647 to 102147483647 with 2147483647 decimal digit precision; All standard arithmetic and comparison operators…
-
crystaledge github.com
A pure Vector Math library
-
go-benchmark-app github.com
Powerful HTTP-benchmark tool mixed with Аb, Wrk, Siege tools. Gathering statistics and various parameters for benchmarks and comparison results.
-
Stable sort algorithms in Coq github.com
Generic and modular proofs of correctness, including stability, of mergesort functions.
-
merkle github.com
Space-efficient computation of Merkle root hashes and inclusion proofs.
-
LibHyps github.com
Library of Ltac tactics to manage and manipulate hypotheses in proofs.
-
the-mayankjha/fk_markdown.nvim github.com
Markdown renderer with live browser preview, synchronized scrolling, and support for math, diagrams, LaTeX, and local images.
-
probab github.com
Probability distribution functions. Bayesian inference. Written in pure Go.
-
GoStats github.com
GoStats is an Open Source GoLang library for math statistics mostly used in Machine Learning domains, it covers most of the Statistical measures functions.
-
uMath github.com
Computer Algebra for microcontrollers.
-
geojson-svgify github.com
Convert GeoJSON geometry paths to SVG polyline elements.
-
pocketbase-libsql github.com
Scaling Pocketbase with LibSQL and sqld - a Proof Of Concept
-
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.
- next page of items loading…
