dmsm / scissors-congruenceLinks
An interactive demonstration of the Wallace–Bolyai–Gerwien theorem.
☆83Updated 5 years ago
Alternatives and similar repositories for scissors-congruence
Users that are interested in scissors-congruence are comparing it to the libraries listed below
Sorting:
- Interactive Mandelbrot set renderer/explorer for your terminal.☆30Updated 12 years ago
- Drawing cohomology fractals with the GPU.☆50Updated 3 months ago
- FOLD file format for origami models, crease patterns, etc.☆340Updated last year
- Tag-based webview of LaTeX documents☆30Updated last year
- 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
- Exploring Möbius transformations and implementing the book Indra's Pearls☆41Updated last year
- The Complex Number Game. Make the complex numbers in Lean.☆40Updated 2 years ago
- This is a Coloring Book about Group Theory☆89Updated 2 years ago
- Software to compute and analyze flat-folded states of crease patterns☆40Updated this week
- A repository for the Quest For Tetris☆182Updated 4 years ago
- 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…☆104Updated this week
- The Math of Card Shufflig☆38Updated 3 years ago
- Crease pattern editor☆21Updated 2 years ago
- Black Hole Visualizer in Unity C#☆113Updated last year
- knot theory and computational algebra software☆37Updated 11 years ago
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- Applets about Calculus☆37Updated last year
- A LaTeX Typesetting Game☆252Updated 2 months ago
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆33Updated 7 years ago
- Sources of the book “Problems for children from 5 to 15” by V. I. Arnold☆30Updated 2 years ago
- source code for math gifs posted to twitter☆128Updated 4 years ago
- Interactive mathematics in the browser☆64Updated 5 months ago
- Sigi pixel fonts [archived]☆56Updated 4 years ago
- tool for creating and sharing annotations, using github for storage and social network☆90Updated 3 years ago
- First person Mario.☆78Updated 11 months ago
- Manim scripts used in Tungsteno https://www.tungsteno.io/☆29Updated 4 years ago
- A solver for halting problem of Brainfuck programs☆17Updated 5 years ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆18Updated last year
- The Slate Interactive Theorem Prover☆23Updated 2 years ago