Alternatives and similar repositories for scissors-congruence

Users that are interested in scissors-congruence are comparing it to the libraries listed below

• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆261Updated 8 months ago
• aberke / coloring-book
  This is a Coloring Book about Group Theory
  ☆89Updated 2 years ago
• elliotwaite / rule-30-and-game-of-life
  Generates a 2D animation of Rule 30 (or other rules) being fed into Conway's Game of Life.
  ☆164Updated last year
• edemaine / fold
  FOLD file format for origami models, crease patterns, etc.
  ☆362Updated last year
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆33Updated last year
• roice3 / MagicTile
  Non-euclidean Rubik's Cube Analogues
  ☆89Updated 2 months ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆268Updated last year
• rabbit-ear / rabbit-ear
  computational origami library
  ☆613Updated last year
• topaz / perl-mandelbrot
  Interactive Mandelbrot set renderer/explorer for your terminal.
  ☆31Updated 12 years ago
• mscroggs / realhats
  realhats LaTeX package
  ☆116Updated 2 years ago
• LogicalAtomist / principia-rewrite
  The Principia Rewrite
  ☆229Updated last month
• dmishin / hyperbolic-ca-simulator
  Simulator of cellular automata on hyperbolic (Lobachevsky) plane, in browser.
  ☆38Updated 7 years ago
• nilesjohnson / hopf_fibration
  Modifications of Niles Johnson's Hopf Fibration drawing code
  ☆38Updated 11 years ago
• IMAGINARY / SURFER
  Sources of Java version of SURFER (which uses JavaFX 1.3.1)
  ☆33Updated 7 years ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆162Updated 5 months ago
• zenorogue / newconformist
  Conformally map the hyperbolic plane to arbitrary shapes.
  ☆64Updated last year
• aatishb / patterncollider
  A web interactive for generating and exploring quasiperiodic tiling patterns
  ☆305Updated 2 years ago
• copy / life
  The definite Conway's Game of Life implementation in your browser. Features an infinite field & Hashlife
  ☆427Updated 5 years ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆183Updated 4 years ago
• fredhohman / awesome-mathematical-notation-design
  List of links of techniques to help enhance mathematical notation
  ☆191Updated last year
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• bgschiller / latex-therefore
  Tired of needing to come up with synonyms for 'Therefore,' in your mathematical writing? Ponder no longer! This LaTeX package provides a …
  ☆201Updated 8 years ago
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆74Updated 2 years ago
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆160Updated last year
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated 2 years ago
• Radvendii / MAR1D
  First person Mario.
  ☆78Updated last year
• jcponce / calculus
  Applets about Calculus
  ☆39Updated last year
• yaroslavsobolev / trajectoids
  Given a path, computes the 3D shape ("trajectoid") that would follow this path when rolling down a slope
  ☆191Updated 2 years ago
• ImperialCollegeLondon / complex-number-game
  The Complex Number Game. Make the complex numbers in Lean.
  ☆42Updated 3 years ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆303Updated last year