rreusser / explorationsLinks
Code dump, for now
☆24Updated 2 years ago
Alternatives and similar repositories for explorations
Users that are interested in explorations are comparing it to the libraries listed below
Sorting:
- Exploring the Klein Quartic's geometry.☆28Updated last year
- 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
- Drawing cohomology fractals with the GPU.☆50Updated 2 months ago
- Course notes for Pure Mathematics Topic D 2019☆53Updated 5 years ago
- Code for visualizing spherical, euclidean, and hyperbolic honeycombs in various ways☆50Updated 3 months ago
- Conformally map the hyperbolic plane to arbitrary shapes.☆62Updated last year
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Various simulations of random processes☆14Updated 3 weeks ago
- A program for drawing knots and links, with support for importing images☆32Updated last year
- A twitter bot for 2-dimensional tilings, @TilingBot☆43Updated 2 years ago
- A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.☆28Updated this week
- Awesome Geometric Algebra☆27Updated 4 years ago
- Finite field polynomial arithmetic based on fast Fourier transforms☆19Updated 4 years ago
- Matroids in Lean☆18Updated last year
- Geometric algebra library for Rust☆22Updated 6 years ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 5 years ago
- 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
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- A system for computational category theory and applications☆38Updated 8 years ago
- Exploring Möbius transformations and implementing the book Indra's Pearls☆41Updated last year
- Get a Brain☆24Updated 5 years ago
- An elegant implementation of discrete diffgeo in haskell☆33Updated 5 years ago
- Visualize curve shortening flow in your browser.☆23Updated 2 years ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆85Updated 4 years ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- Schrödinger's Smoke☆48Updated 5 years ago
- Coordinate-free hypersurfaces as Haskell types☆41Updated 2 months ago
- Visualize subsets of PSL(2,R) in exterior solid torus model☆12Updated 4 years ago
- The main source code for Regina☆38Updated this week
- Examples of Automatic Differentiation (AD) in many different languages and systems☆27Updated 6 years ago