Alternatives and similar repositories for explorations

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

• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆53Updated 5 years ago
• timhutton / klein-quartic
  Exploring the Klein Quartic's geometry.
  ☆28Updated last year
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 2 months ago
• regina-normal / regina
  The main source code for Regina
  ☆38Updated this week
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆118Updated 8 months ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• PeterScholze / Analytic
  lecture notes for Analytic Geometry course
  ☆11Updated 3 years ago
• weshoke / ddg.js
  Discrete Differential Geometry in Javascript
  ☆18Updated 11 years ago
• acarapetis / curve-shortening-demo
  Visualize curve shortening flow in your browser.
  ☆23Updated 2 years ago
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated last year
• vbeffara / Simulations
  Various simulations of random processes
  ☆14Updated last month
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆36Updated last year
• emilypi / group-theory
  The theory of groups
  ☆78Updated last year
• sibaku / glsl-autodiff
  Automatic differentiation for glsl
  ☆28Updated 3 years ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• knupel / Navier_Stokes_Jos_Stam_imp
  Navier-Stokes implementation for Processing based on Jos Stam work
  ☆13Updated 6 years ago
• henryseg / cohomology_fractals
  Drawing cohomology fractals with the GPU.
  ☆50Updated 3 months ago
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• mayakraft / Math
  math for origami. linear algebra, geometry, 2D and 3D, good interoperability with SVG
  ☆24Updated last year
• 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
• abelfunctions / abelfunctions
  A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.
  ☆28Updated last week
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆23Updated 4 years ago
• MaxOw / computational-geometry
  Collection of algorithms in Computational Geometry.
  ☆18Updated 7 years ago
• 5outh / chaosbox
  A framework for generative art.
  ☆60Updated 4 years ago
• mwalczyk / grid-diagrams
  ➰ A program for manipulating and playing with knot diagrams.
  ☆17Updated 5 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆31Updated 4 years ago
• kmill / lean4-raytracer
  A simple raytracer written in Lean 4
  ☆138Updated last year
• weshoke / versor.js
  A Javascript port of the Versor Geometric Algebra library
  ☆109Updated 9 years ago