Alternatives and similar repositories for explorations:

Users that are interested in explorations are comparing it to the libraries listed below

• timhutton / klein-quartic
  Exploring the Klein Quartic's geometry.
  ☆28Updated last year
• Syntopia / Polytopia
  Experiments with Polytopes
  ☆21Updated 4 years ago
• dmishin / singlerot-smooth
  "Single Rotation" cellular automaton demonstration with Lanczos smoothing
  ☆21Updated 10 years ago
• vbeffara / Simulations
  Various simulations of random processes
  ☆11Updated last year
• timhutton / livingphysics
  Artificial chemistry game
  ☆28Updated 5 years ago
• roice3 / Honeycombs
  Code for visualizing spherical, euclidean, and hyperbolic honeycombs in various ways
  ☆49Updated last year
• mwalczyk / grid-diagrams
  ➰ A program for manipulating and playing with knot diagrams.
  ☆17Updated 4 years ago
• zalo / Symplex
  A Symbolic Code Algebra+Calculus system for VS Code
  ☆29Updated 2 years ago
• weshoke / ddg.js
  Discrete Differential Geometry in Javascript
  ☆18Updated 10 years ago
• 5outh / chaosbox
  A framework for generative art.
  ☆60Updated 4 years ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆29Updated last year
• silky / fashion
  repo for fashion business/ideas/etc.
  ☆22Updated 5 years ago
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆52Updated 4 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆37Updated 8 years ago
• prathyvsh / history-of-mathematics
  Catalogue of the hisotry of Mathematics
  ☆33Updated 2 years ago
• lecopivo / HouLean
  Lean 4 as a scripting language in Houdini
  ☆15Updated 10 months ago
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆82Updated 3 years ago
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated last year
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 7 years ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆16Updated last year
• acarapetis / curve-shortening-demo
  Visualize curve shortening flow in your browser.
  ☆22Updated last year
• sibaku / glsl-autodiff
  Automatic differentiation for glsl
  ☆28Updated 3 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆52Updated last year
• regina-normal / regina
  The main source code for Regina
  ☆36Updated 3 weeks ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated 11 months ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆14Updated 4 years ago
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆12Updated last year
• cseed / knotkit
  knot theory and computational algebra software
  ☆36Updated 10 years ago