Alternatives and similar repositories for explorations:

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

• 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.
  ☆53Updated last year
• roice3 / Honeycombs
  Code for visualizing spherical, euclidean, and hyperbolic honeycombs in various ways
  ☆50Updated last month
• sdiehl / galois-fft
  Finite field polynomial arithmetic based on fast Fourier transforms
  ☆19Updated 4 years ago
• Limeth / hestenes
  Geometric algebra library for Rust
  ☆22Updated 6 years ago
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆53Updated 4 years ago
• MaxOw / computational-geometry
  Collection of algorithms in Computational Geometry.
  ☆18Updated 7 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆40Updated 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 3 years ago
• regina-normal / regina
  The main source code for Regina
  ☆36Updated this week
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated last year
• schmelczer / sdf-2d
  A graphics library to enable the real-time rendering of 2D signed distance fields on the web.
  ☆109Updated 3 years ago
• emilypi / group-theory
  The theory of groups
  ☆76Updated last year
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆83Updated 4 years ago
• timhutton / mobius-transforms
  Exploring Möbius transformations and implementing the book Indra's Pearls
  ☆41Updated 10 months ago
• mwalczyk / grid-diagrams
  ➰ A program for manipulating and playing with knot diagrams.
  ☆17Updated 4 years ago
• timhutton / klein-quartic
  Exploring the Klein Quartic's geometry.
  ☆28Updated last year
• PeterScholze / Analytic
  lecture notes for Analytic Geometry course
  ☆11Updated 3 years ago
• zenorogue / newconformist
  Conformally map the hyperbolic plane to arbitrary shapes.
  ☆62Updated last year
• nilesjohnson / hopf_fibration
  Modifications of Niles Johnson's Hopf Fibration drawing code
  ☆33Updated 10 years ago
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆63Updated 5 years ago
• 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…
  ☆95Updated last week
• weshoke / ddg.js
  Discrete Differential Geometry in Javascript
  ☆18Updated 10 years ago
• 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…
  ☆19Updated 2 months ago
• lecopivo / HouLean
  Lean 4 as a scripting language in Houdini
  ☆16Updated last year
• vbeffara / Simulations
  Various simulations of random processes
  ☆12Updated last month
• sdiehl / galois-field
  Finite field and algebraic extension field arithmetic
  ☆50Updated last year
• bfraboni / vptree-draw
  Space partitioning structures visualization
  ☆42Updated 2 years ago
• bollu / coremlir
  Encoding of GHC Core inside MLIR
  ☆17Updated 4 years ago
• weshoke / versor.js
  A Javascript port of the Versor Geometric Algebra library
  ☆108Updated 9 years ago