Peakergzf / the-marvelous-mrs-maths
Interesting math related algorithms and problems
☆8Updated 5 years ago
Alternatives and similar repositories for the-marvelous-mrs-maths:
Users that are interested in the-marvelous-mrs-maths are comparing it to the libraries listed below
- Replicating 3Blue1Brown's math animation engine in JavaScript (p5.js)☆395Updated 4 years ago
- The Poincaré disk model of the hyperbolic plane on the HTML canvas 💫☆50Updated 6 months ago
- Repository for the Online Algorithmic Complexity Calculator☆22Updated 7 years ago
- Visualization of exponential sums☆103Updated 2 months ago
- Checker for "morally correct" induction proofs about haskell programs☆9Updated 3 years ago
- Coding page to display animated algorithms☆43Updated last year
- Group theory visualization software in the browser☆250Updated last year
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆260Updated 3 years ago
- Tree Proof Generator☆166Updated 2 months ago
- A software agent illustrating some features of an illusionist account of consciousness☆14Updated 7 years ago
- Lean Library currently studying for a degree at Imperial College☆226Updated 2 months ago
- Modal Logic Playground☆370Updated last year
- Source code of Mathigon's interactive textbooks☆364Updated 2 months ago
- Math-specific tutorial/sample project for Liqvid☆22Updated 2 years ago
- ☆14Updated last year
- Quick JS program for creating animations☆152Updated last year
- Syllabus for Nature of Code Spring 2020☆105Updated 5 years ago
- Modelling and machine learning: the foundations of data science☆29Updated last year
- ☆20Updated 3 years ago
- A wiki for collaborative work on totally legitimate "category theory"☆111Updated 10 months ago
- A vector field explorer☆1,244Updated 3 months ago
- Base starter project using p5js and typescript☆351Updated 2 years ago
- A web based frontend to manim☆102Updated 2 years ago
- Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…☆307Updated last year
- This code accompanies our paper "A fractal dimension for measures via persistent homology"☆10Updated 6 years ago
- RelaX - a relational algebra calculator☆304Updated last week
- Generate custom parametric surfaces ✒️💠☆28Updated last year
- To check whether runs of numbers can be organised into sequences where every consecutive pair of numbers adds to a square. And plot the r…☆45Updated 7 years ago
- Repository for The Nature of Code book with p5.js☆636Updated 2 years ago
- Catalogue of models of interaction. Part of the trilogy on models of computers/interaction/computation☆335Updated 3 years ago