Poisson disk points generator in C++ in a single file

Basic Analysis, undergraduate real analysis textbook

This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

The agda-unimath library

Complex Analysis: A Visual and Interactive Introduction

OpenGL Mathematics (GLM)

POT : Python Optimal Transport

A powerful Swift framework for evaluating natural language math expressions

Materials for book: "Markov Chains for programmers"

An open-source Mathematica Kernel. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g. Symbol, a parser to create Expressions, and an evaluator t…

Simple P5js app for constructing aperiodic hat tilings

VS Code extension for Typst math calculating, includes Arithmetic, Calculous, Matrix, Custom Variances and Funcions by yourself

A Python 3 library for constructing and drawing hyperbolic geometry

Blueprint for the PNT+ Project

Proof in Lean of Fermat Last Theorem for exponent 3

Page personnelle de Colas Bardavid

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

A formalized proof of Carleson's theorem in Lean

Scraper for PhET Science & Math Interactive Simulations

Source code for the Mathematics in Lean tutorial.

The user home repository for the Mathematics in Lean tutorial.

This repository contains the source html files for the website complex-analysis.com