mathematics

A repository of different Algorithms and Data Structures implemented in many programming languages.

:triangular_ruler: Numerical integration (quadrature, cubature) in Python

Throw in the towel.

lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

A math problem generator, created for the purpose of giving self-studying students and teaching organizations the means to easily get access to high-quality, generated math problems to suit their needs.

A JavaScript framework for interactive (mathematical) content.

3D transformations for Python.

:1234: Bits, bytes and general-purpose calculator

:spider_web: A Python interface to CGAL's meshing tools

Mirror of the GNU TeXmacs SVN

:spider_web: Mesh optimization, mesh smoothing.

igraph R package

Mogan STEM Suite (based on GNU TeXmacs): Enjoy exploring science and technology!

An interactive visualization tool for graph theory

Lean theorem proving interface which feels like pen-and-paper proofs.

Your no-nonsense guide to the Math used in Artificial Intelligence

Create basic addition, subtraction, multiplication and division practice questions with the answer sheet

A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS

muparser is a fast math parser library for C/C++ with (optional) OpenMP support.

A database with many Manim users and content creators

A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.

A growing collection of interactive tutorials, demos, and quizzes about maths, algorithms, and programming.