prajwalsouza / Maze-SolverLinks
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 2 years ago
Alternatives and similar repositories for Maze-Solver
Users that are interested in Maze-Solver are comparing it to the libraries listed below
Sorting:
- Writing a fake paper? Chat about math? GitHub copilot can do lots of things...☆21Updated 4 years ago
- Metamath verifier in Python☆40Updated 6 months ago
- JavaScript MOOC simulations for the edX class Quantum Mechanics for Everyone provided by Georgetown University☆18Updated 8 years ago
- This repository contains the source html files for the website complex-analysis.com☆18Updated 2 weeks ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last year
- P.D. Magnus' forallx logic textbook☆68Updated 8 months ago
- This is a 4 spatial dimension snake game, developed with python and tkinter☆82Updated 5 years ago
- Implementation of Gosper's hashlife algorithm☆39Updated last year
- Open source code for Arbital☆14Updated 7 years ago
- Synchronization for TeX☆81Updated 4 months ago
- Dip☆41Updated 4 years ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Updated 2 years ago
- Tim Button's open textbook on set theory☆40Updated 5 months ago
- AI-powered quiz generator☆27Updated 2 years ago
- A Powerpoint CPU☆94Updated 4 years ago
- Source of metamath book☆51Updated last year
- An experimental non-deterministic concatenative golfing language☆25Updated last month
- Writing proofs to Twitter since April 2020☆12Updated 3 years ago
- Universal shell supporting code highlighting, files, and interpretation without the need to download a language.☆45Updated 4 years ago
- An interactive for visualizing complex functions based on a 3Blue1Brown video and also estimation of Riemann Zeta Function using Euler Ma…☆18Updated 6 years ago
- multilingual dictionary of mathematical terminology☆20Updated 2 months ago
- A semantic Extension of TeX/LaTeX☆54Updated this week
- Terminal CLI to Mathics3☆60Updated 3 months ago
- *cheep cheep shriek caw*☆97Updated 2 years ago
- Hosts the website for mathlib and other Lean community infrastructure.☆69Updated last week
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆23Updated last week
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 6 years ago
- Website to track people, organizations, and products (tools, websites, etc.) in AI safety☆23Updated this week
- A visual programming language, evaluated as a cellular automaton☆64Updated 2 months ago
- LODA Programs for Integer Sequences☆37Updated this week