Alternatives and similar repositories for turing-machine-viz

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

• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆114Updated 2 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆225Updated 5 months ago
• automatarium / automatarium
  A place for automata
  ☆78Updated this week
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆85Updated 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.
  ☆300Updated last year
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆220Updated last year
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆307Updated last month
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆434Updated last year
• evanw / fsm
  Finite State Machine Designer
  ☆309Updated last year
• MikeDevice / first-follow
  Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation
  ☆132Updated 2 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆256Updated 6 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…
  ☆160Updated last month
• wo / tpg
  Tree Proof Generator
  ☆173Updated 7 months ago
• ccz181078 / Coq-BB5
  ☆341Updated 2 weeks ago
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆35Updated 3 months ago
• copy / life
  The definite Conway's Game of Life implementation in your browser. Features an infinite field & Hashlife
  ☆422Updated 4 years ago
• citiususc / jflap-lib
  An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.
  ☆55Updated 7 years ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆256Updated last year
• leanprover-community / lean4game
  Server to host lean games.
  ☆325Updated 2 weeks ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆295Updated this week
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆410Updated 3 weeks ago
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆388Updated last week
• leios / SoME_Topics
  Collaboration / Topic requests for SoME
  ☆210Updated 2 years ago
• dthain / compilerbook-examples
  Example code for compilers textbook.
  ☆194Updated 2 years ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆58Updated this week
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated last year
• rocq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆218Updated 3 months ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆183Updated 4 years ago
• rocq-prover / platform
  Multi platform setup for Coq, Coq libraries and tools
  ☆212Updated last week
• leanprover-community / tutorials
  Some Lean tutorials
  ☆183Updated last year