Alternatives and similar repositories for Maze-Solver

Users that are interested in Maze-Solver are comparing it to the libraries listed below

• DXsmiley / rtex
  Minimal LaTeX rendering server
  ☆14Updated 2 years ago
• tjwei / Fractran
  Javascript implementation of Fractran
  ☆14Updated 7 years ago
• complex-analysis / source
  This repository contains the source html files for the website complex-analysis.com
  ☆16Updated 2 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 2 months ago
• prajwalsouza / Complex-Functions
  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
• scaomath / copilot-funny-demos
  Writing a fake paper? Chat about math? GitHub copilot can do lots of things...
  ☆20Updated 4 years ago
• 3-manifolds / Spherogram
  Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…
  ☆22Updated 3 weeks ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• vEnhance / evans-phd-notebook
  Virtual notebook that Evan uses for his PhD thesis.
  ☆11Updated 2 months ago
• johnhw / hashlife
  Implementation of Gosper's hashlife algorithm
  ☆39Updated 10 months ago
• micahscopes / Hyperspectives
  Experiments with moebius transformations and non-euclidian perspectives.
  ☆12Updated 2 years ago
• jlaurens / synctex
  Synchronization for TeX
  ☆77Updated 3 weeks ago
• Pella86 / Snake4d
  This is a 4 spatial dimension snake game, developed with python and tkinter
  ☆81Updated 5 years ago
• cabralski / awesome-wolfram-language
  A curated list of Wolfram Language packages and resources.
  ☆39Updated 7 months ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated 2 years ago
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆18Updated 4 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 5 months ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 9 months ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆31Updated last year
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆54Updated 3 weeks ago
• metamath / metamath-book
  Source of metamath book
  ☆49Updated last year
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated last week
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆20Updated last month
• cognitive-engineering-lab / quizicist
  AI-powered quiz generator
  ☆27Updated 2 years ago
• jcponce / calculus
  Applets about Calculus
  ☆38Updated last year
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• abrudz / dyalog-apl-extended
  Dyalog APL Extended
  ☆28Updated last year
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated 11 months ago
• maranget / hevea
  Hevea is a fast latex to html translator
  ☆107Updated last month
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆23Updated this week