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
• 3-manifolds / Spherogram
  Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…
  ☆21Updated this week
• henryseg / cohomology_fractals
  Drawing cohomology fractals with the GPU.
  ☆50Updated 2 months ago
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆53Updated 5 years ago
• roice3 / Honeycombs
  Code for visualizing spherical, euclidean, and hyperbolic honeycombs in various ways
  ☆50Updated 3 months ago
• zenorogue / newconformist
  Conformally map the hyperbolic plane to arbitrary shapes.
  ☆62Updated last year
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• vbeffara / Simulations
  Various simulations of random processes
  ☆14Updated 3 weeks ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• roice3 / TilingBot
  A twitter bot for 2-dimensional tilings, @TilingBot
  ☆43Updated 2 years ago
• abelfunctions / abelfunctions
  A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.
  ☆28Updated this week
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆27Updated 4 years ago
• sdiehl / galois-fft
  Finite field polynomial arithmetic based on fast Fourier transforms
  ☆19Updated 4 years ago
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated last year
• Limeth / hestenes
  Geometric algebra library for Rust
  ☆22Updated 6 years ago
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆63Updated 5 years ago
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆32Updated 4 years ago
• Soonad / Formality-Net-Animator
  Animations for Elementary-Affine-Net interactions
  ☆11Updated 5 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• timhutton / mobius-transforms
  Exploring Möbius transformations and implementing the book Indra's Pearls
  ☆41Updated last year
• blynn / morans
  Get a Brain
  ☆24Updated 5 years ago
• bollu / discrete-differential-geometry
  An elegant implementation of discrete diffgeo in haskell
  ☆33Updated 5 years ago
• acarapetis / curve-shortening-demo
  Visualize curve shortening flow in your browser.
  ☆23Updated 2 years ago
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆85Updated 4 years ago
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago
• SimonDanisch / SchroedingersSmoke.jl
  Schrödinger's Smoke
  ☆48Updated 5 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 2 months ago
• emilydumas / slview
  Visualize subsets of PSL(2,R) in exterior solid torus model
  ☆12Updated 4 years ago
• regina-normal / regina
  The main source code for Regina
  ☆38Updated this week
• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆27Updated 6 years ago