Alternatives and similar repositories for turing-machine-viz:

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

• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆211Updated 4 months ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated 11 months ago
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆102Updated 2 years ago
• nicolasloizeau / guigl
  GUI for glider logic in Conway's game of life.
  ☆100Updated 4 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆210Updated last month
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆368Updated 2 weeks ago
• leanprover-community / tutorials
  Some Lean tutorials
  ☆182Updated last year
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆433Updated last year
• evanw / fsm
  Finite State Machine Designer
  ☆297Updated last year
• leanprover-community / lean4game
  Server to host lean games.
  ☆220Updated last week
• coq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆182Updated 2 months ago
• glebec / lambda-talk
  A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
  ☆517Updated 11 months ago
• wo / tpg
  Tree Proof Generator
  ☆157Updated 2 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆90Updated 5 months ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆236Updated 10 months ago
• MikeDevice / first-follow
  Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation
  ☆126Updated 2 years ago
• Kattis / kattis-cli
  Kattis online judge command line tool
  ☆52Updated 4 months ago
• ccz181078 / Coq-BB5
  ☆165Updated last month
• KeelyHill / tuppers-formula
  A small web app that allows the simple creation and decoding of Tupper's self-referential formula.
  ☆81Updated 2 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆242Updated 2 months 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.
  ☆294Updated 10 months ago
• mitxela / bf-tic-tac-toe
  ☆163Updated 6 years ago
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆34Updated last year
• copy / life
  The definite Conway's Game of Life implementation in your browser. Features an infinite field & Hashlife
  ☆406Updated 4 years ago
• desmosinc / gifsmos
  A web app for creating animated GIFs from Desmos graphs
  ☆44Updated last year
• cdchoy / ppcc
  A Powerpoint CPU
  ☆92Updated 4 years ago
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆26Updated last year
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆152Updated 8 months ago
• hkociemba / FifteenPuzzle
  Solve the Fifteen Puzzle optimally with IDA* using different heuristics.
  ☆43Updated last year
• ImperialCollegeLondon / formalising-mathematics
  Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…
  ☆304Updated 10 months ago