prajwalsouza / Maze-Solver
Solves Mazes taking an image input, along with the starting and ending points. There are two Algorithms here which solve mazes. One of them is a Shortest Path Algorithm, the other, Minimal Tree Agorithm along with dead end filling.
☆18Updated last year
Alternatives and similar repositories for Maze-Solver:
Users that are interested in Maze-Solver are comparing it to the libraries listed below
- Learn Lean and topology☆21Updated last year
- ☆8Updated last week
- An interactive for visualizing complex functions based on a 3Blue1Brown video and also estimation of Riemann Zeta Function using Euler Ma…☆16Updated 6 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 5 months ago
- Solving the "Flow Free" game (mobile app) with Clojure and SAT☆11Updated 5 years ago
- Calculations for an interactive/simulation inspired by an awesome video by 3Blue1Brown.☆28Updated 5 years ago
- This repository contains the source html files for the website complex-analysis.com☆14Updated last month
- Applets about Calculus☆37Updated 10 months ago
- Dip☆41Updated 4 years ago
- Metamath verifier in Python☆38Updated last year
- Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML☆13Updated last year
- A brainfuck kernel for IPython/Jupyter.☆28Updated 9 years ago
- Minimal LaTeX rendering server☆14Updated 2 years ago
- Formalizing results about the Mandelbrot set in Lean☆20Updated 5 months ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Updated last year
- Cellular automata search program☆26Updated 2 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- Real-time python variable evaluation☆14Updated 2 years ago
- VSCode extension for Metamath☆10Updated last month
- 🦠 AD in less than 20 lines☆54Updated 3 years 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 this week
- Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.☆12Updated 4 years ago
- Evolve complex cellular automata with a genetic algorithm.☆78Updated last month
- Cellular automata simulation powered by GPU☆15Updated 3 years ago
- Markdown -> IPython conversion tool☆15Updated 10 years ago
- Project to verify the Guy-Selfridge conjectures☆14Updated this week
- A solver for halting problem of Brainfuck programs☆17Updated 5 years ago
- Development tools for https://github.com/leanprover-community/mathlib☆34Updated last year
- a writeup on some experiments on a sequence model for chess games☆30Updated 3 years ago
- LaTeX-ed class notes (German) taken during various mathematics and computer science classes☆13Updated 4 years ago