6849-2020 / fold-and-cut-2017
Danielle Wang's fold-and-cut implementation (6.849 2017 final project)
☆18Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for fold-and-cut-2017
- optimization algorithms to find origami crease patterns / origami design aid☆49Updated 4 years ago
- Metamath verifier in Python☆34Updated 7 months ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆20Updated 2 months ago
- A simple Brainfuck JIT written as a learning exercise.☆15Updated 5 years ago
- math for origami. linear algebra, geometry, 2D and 3D, good interoperability with SVG☆24Updated last year
- A sample project illustrating how to write and distribute SageMath extensions☆17Updated last year
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆19Updated 3 years ago
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆31Updated 6 years ago
- ☆12Updated last year
- A solver for halting problem of Brainfuck programs☆16Updated 4 years ago
- An interactive demonstration of the Wallace–Bolyai–Gerwien theorem.☆82Updated 5 years ago
- VSCode extension for Metamath☆10Updated last month
- Code dump, for now☆24Updated last year
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- Busy Beaver deciders backed by Coq proof☆39Updated 4 months ago
- Cellular automata search program☆26Updated 2 years ago
- Code for visualizing spherical, euclidean, and hyperbolic honeycombs in various ways☆50Updated last year
- A set of Matlab functions for visualizing Bohemian eigenvalues.☆47Updated 5 years ago
- Python Bindings to the Lean Theorem Prover http://leanprover.github.io/☆13Updated 7 years ago
- A Symbolic Code Algebra+Calculus system for VS Code☆29Updated 2 years ago
- A wormhole simulation.☆52Updated 6 months ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆67Updated last year
- A web application to visualize complex mappings.☆29Updated 8 years ago
- Exploring Möbius transformations and implementing the book Indra's Pearls☆40Updated 7 months ago
- A Python program that displays MST in Rectilinear and Euclidean Space as well as SMT in Rectilinear and Euclidean space. Final project fo…☆11Updated 9 years ago
- Create "growing" animations of plants from a single photograph☆18Updated 2 years ago
- Visualize curve shortening flow in your browser.☆22Updated last year
- knot theory and computational algebra software☆35Updated 10 years ago
- Multiroom meeting app integrating web tools☆45Updated 4 months ago
- A program for drawing knots and links, with support for importing images☆26Updated 10 months ago