Alternatives and similar repositories for turing-machine-viz

Users that are interested in turing-machine-viz are comparing it to the libraries listed below

• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated last year
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆299Updated last year
• evanw / fsm
  Finite State Machine Designer
  ☆306Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆255Updated 4 months ago
• MARIE-js / MARIE.js
  MARIE.js is a simple, yet intuitive MARIE simulator built in JavaScript and is used for teaching computing architecture and assembly lan…
  ☆155Updated 3 months ago
• copy / life
  The definite Conway's Game of Life implementation in your browser. Features an infinite field & Hashlife
  ☆419Updated 4 years ago
• vEnhance / von
  Olympiad problem database
  ☆53Updated this week
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆385Updated last month
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆224Updated 3 months ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆53Updated this week
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆253Updated last year
• ccz181078 / Coq-BB5
  ☆327Updated 4 months ago
• automatarium / automatarium
  A place for automata
  ☆78Updated this week
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆290Updated this week
• stereobooster / programming-languages-genealogical-tree
  Programming languages genealogical tree
  ☆278Updated 2 years ago
• leanprover-community / NNG4
  Natural Number Game
  ☆204Updated 3 weeks ago
• maksimovichsam / DoublePendulumVideo
  Used to make: https://youtu.be/n7JK4Ht8k8M
  ☆138Updated 2 years ago
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆32Updated 2 months ago
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆432Updated last year
• nicolasloizeau / guigl
  GUI for glider logic in Conway's game of life.
  ☆102Updated 5 years ago
• harryli0088 / hamming-code
  ☆40Updated 3 years ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆183Updated 4 years ago
• eulertour / eulerv2
  A web based frontend to manim
  ☆104Updated 2 years ago
• lawrancej / logisim
  Git fork of Logisim code base
  ☆221Updated 8 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated last year
• PatrikBak / GeoGen
  Automated generation of planar geometry olympiad problems
  ☆95Updated 2 years ago
• JazonJiao / Manim.js
  Replicating 3Blue1Brown's math animation engine in JavaScript (p5.js)
  ☆415Updated 4 years ago
• vdrhtc / InLaTeXbot
  Customizable LaTeX bot for Telegram messenger
  ☆224Updated last year
• leios / SoME_Topics
  Collaboration / Topic requests for SoME
  ☆210Updated 2 years ago
• pablojorge / brainfuck
  Collection of BF interpreters/translators in C/C++/ASM/JS/Python/Rust + others
  ☆259Updated 3 years ago