Alternatives and similar repositories for explorations:

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

• acarapetis / curve-shortening-demo
  Visualize curve shortening flow in your browser.
  ☆23Updated 2 years ago
• timhutton / klein-quartic
  Exploring the Klein Quartic's geometry.
  ☆28Updated last year
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆22Updated 3 years ago
• zenorogue / newconformist
  Conformally map the hyperbolic plane to arbitrary shapes.
  ☆62Updated last year
• regina-normal / regina
  The main source code for Regina
  ☆36Updated 3 weeks ago
• dyaso / klein-ported-to-rust
  Port of Jeremy Ong's SIMD-enabled projective geometric algebra library
  ☆16Updated 4 years ago
• dmurfet / polysemantics
  Polynomial semantics of linear logic
  ☆13Updated 7 years ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆31Updated last year
• nilesjohnson / hopf_fibration
  Modifications of Niles Johnson's Hopf Fibration drawing code
  ☆33Updated 10 years ago
• roice3 / Honeycombs
  Code for visualizing spherical, euclidean, and hyperbolic honeycombs in various ways
  ☆50Updated 2 months ago
• timhutton / PseudosphereGeodesics
  Visualising straight lines (geodesics) on the pseudosphere and related geometries.
  ☆14Updated last year
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆53Updated 5 years ago
• mwalczyk / grid-diagrams
  ➰ A program for manipulating and playing with knot diagrams.
  ☆17Updated 4 years ago
• SimonDanisch / SchroedingersSmoke.jl
  Schrödinger's Smoke
  ☆48Updated 5 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆26Updated 6 years ago
• abelfunctions / abelfunctions
  A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.
  ☆27Updated last week
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆98Updated last year
• PeterScholze / Analytic
  lecture notes for Analytic Geometry course
  ☆11Updated 3 years ago
• Syntopia / Polytopia
  Experiments with Polytopes
  ☆22Updated 5 years ago
• emilypi / group-theory
  The theory of groups
  ☆76Updated last year
• timhutton / mobius-transforms
  Exploring Möbius transformations and implementing the book Indra's Pearls
  ☆41Updated 11 months ago
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated last year
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• weshoke / ddg.js
  Discrete Differential Geometry in Javascript
  ☆18Updated 11 years ago
• GaloisInc / lean4-balance-car
  Lean4 port of Arduino balance car controller
  ☆44Updated 4 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
• sdiehl / galois-fft
  Finite field polynomial arithmetic based on fast Fourier transforms
  ☆19Updated 4 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated last week