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

• anvaka / e-sum
  Visualization of exponential sums
  ☆102Updated 3 weeks ago
• ImperialCollegeLondon / formalising-mathematics
  Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…
  ☆305Updated 10 months ago
• AEFGP / AEFGP.github.io
  Github Pages repository for Aesthetic Function Graphposting
  ☆24Updated 3 years ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆250Updated 3 years ago
• isaacvr / coding
  Coding page to display animated algorithms
  ☆43Updated 9 months ago
• jcponce / complex
  Applets about complex analysis
  ☆35Updated 3 months ago
• JazonJiao / Manim.js
  Replicating 3Blue1Brown's math animation engine in JavaScript (p5.js)
  ☆368Updated 3 years ago
• edemaine / fold
  FOLD file format for origami models, crease patterns, etc.
  ☆322Updated last year
• ChristopherChudzicki / math3d-react
  A user-friendly 3d graphing calculator for the web. Create, share, and animate 3d mathematical scenes.
  ☆257Updated last week
• ysulyma / lv-tutorial-math
  Math-specific tutorial/sample project for Liqvid
  ☆22Updated 2 years ago
• TungstenHub / tngt-threejs
  Three.js scripts used in Tungsteno
  ☆11Updated 3 years ago
• InertialObservr / twitter_gifs
  source code for math gifs posted to twitter
  ☆127Updated 4 years ago
• PeterEFrancis / complex-function-plot
  ☆11Updated 3 years ago
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆433Updated last year
• 3-manifolds / SnapPy
  SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…
  ☆94Updated last week
• abhijithmuthyala / manim-projects
  Code for the animations made with Manim
  ☆38Updated 2 years ago
• jcponce / cabook
  Complex Analysis: A Visual and Interactive Introduction
  ☆11Updated last year
• glebec / lambda-talk
  A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
  ☆518Updated 11 months ago
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆248Updated 10 months ago
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆70Updated 10 months ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆226Updated last year
• elliotwaite / rule-30-and-game-of-life
  Generates a 2D animation of Rule 30 (or other rules) being fed into Conway's Game of Life.
  ☆161Updated last year
• dtraytel / cyp
  Checker for "morally correct" induction proofs about haskell programs
  ☆8Updated 2 years ago
• vEnhance / von
  Olympiad problem database
  ☆48Updated 2 weeks ago
• VAlgoLang / VAlgoLang
  Domain Specific Language using Manim to create animations for data structures and algorithms
  ☆48Updated 3 years ago
• kgolid / chromotome
  A collection of color palettes saved for personal use.
  ☆345Updated 4 months ago
• amandaghassaei / OrigamiSimulator
  Realtime WebGL origami simulator
  ☆1,123Updated last year
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆295Updated 10 months ago
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆87Updated 2 months ago
• jez / latex-homework-class
  A class for homework assignments written in LaTeX.
  ☆152Updated 3 years ago