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
  ☆214Updated 8 months ago
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆104Updated 2 years 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.
  ☆297Updated last year
• eulertour / eulerv2
  A web based frontend to manim
  ☆102Updated 2 years ago
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆34Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆246Updated 3 weeks ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 9 months ago
• mitxela / bf-tic-tac-toe
  ☆166Updated 6 years ago
• JazonJiao / Manim.js
  Replicating 3Blue1Brown's math animation engine in JavaScript (p5.js)
  ☆390Updated 4 years ago
• leios / SoME_Topics
  Collaboration / Topic requests for SoME
  ☆210Updated last year
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆29Updated last year
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆219Updated last week
• KeelyHill / tuppers-formula
  A small web app that allows the simple creation and decoding of Tupper's self-referential formula.
  ☆81Updated 2 years ago
• cdchoy / ppcc
  A Powerpoint CPU
  ☆92Updated 4 years ago
• abeakkas / ipho-unofficial.org
  Database for International Physics Olympiads
  ☆10Updated last month
• maksimovichsam / DoublePendulumVideo
  Used to make: https://youtu.be/n7JK4Ht8k8M
  ☆135Updated 2 years ago
• mrieppel / TruthTableGenerator
  Generates truth tables for formulas of sentential logic
  ☆61Updated 7 months ago
• kisonecat / tikzjax
  TikZJax is TikZ running under WebAssembly in the browser
  ☆497Updated 9 months ago
• stereobooster / programming-languages-genealogical-tree
  Programming languages genealogical tree
  ☆270Updated 2 years ago
• evanw / fsm
  Finite State Machine Designer
  ☆300Updated last year
• 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…
  ☆151Updated 2 weeks ago
• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆50Updated 2 years ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated last year
• wo / tpg
  Tree Proof Generator
  ☆166Updated last month
• leanprover-community / lean4game
  Server to host lean games.
  ☆253Updated 3 weeks ago
• desmosinc / gifsmos
  A web app for creating animated GIFs from Desmos graphs
  ☆45Updated last year
• SWI-Prolog / swish
  SWI-Prolog for SHaring: a SWI-Prolog web IDE
  ☆523Updated 2 weeks ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆247Updated last year
• MikeDevice / first-follow
  Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation
  ☆128Updated 2 years ago
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆379Updated last month