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.
  ☆107Updated 2 years ago
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆305Updated this week
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆216Updated 10 months ago
• golopot / tex-to-unicode
  A browser extension to convert TeX to Unicode in browser inputs.
  ☆62Updated last year
• bakkot / cfgrammar-tool
  Work with context-free grammars. Parsing, string generation, and manipulation.
  ☆45Updated 3 years ago
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆31Updated 2 weeks ago
• yousinix / bst-ascii-visualization
  A C++ based algorithm for visualizing Binary Search Trees.
  ☆33Updated 5 years ago
• nicolasloizeau / gol-computer
  A computer in Conway's game of life
  ☆170Updated 6 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆252Updated 2 months ago
• nicolasloizeau / guigl
  GUI for glider logic in Conway's game of life.
  ☆102Updated 5 years ago
• 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.
  ☆296Updated last year
• maksimovichsam / DoublePendulumVideo
  Used to make: https://youtu.be/n7JK4Ht8k8M
  ☆135Updated 2 years ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆251Updated last year
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆381Updated this week
• harryli0088 / hamming-code
  ☆40Updated 3 years ago
• mrieppel / TruthTableGenerator
  Generates truth tables for formulas of sentential logic
  ☆61Updated 9 months ago
• JazonJiao / Manim.js
  Replicating 3Blue1Brown's math animation engine in JavaScript (p5.js)
  ☆405Updated 4 years ago
• copy / life
  The definite Conway's Game of Life implementation in your browser. Features an infinite field & Hashlife
  ☆417Updated 4 years ago
• CyberZHG / toolbox
  https://cyberzhg.github.io/toolbox/ Encoding and parsing tools.
  ☆984Updated last year
• hkociemba / FifteenPuzzle
  Solve the Fifteen Puzzle optimally with IDA* using different heuristics.
  ☆46Updated last year
• nipunramk / Reducible
  Repository containing all code for the videos on the Reducible YouTube channel
  ☆639Updated 2 years 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…
  ☆154Updated last month
• mitxela / bf-tic-tac-toe
  ☆164Updated 7 years ago
• VAlgoLang / VAlgoLang
  Domain Specific Language using Manim to create animations for data structures and algorithms
  ☆50Updated 4 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆222Updated last month
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated 11 months ago
• harsilspatel / moodle-downloader
  a 4.9-star chrome extension for batch downloading moodle resources 💾
  ☆104Updated 4 years ago
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆373Updated 3 weeks ago
• joeylemon / nfa-to-dfa
  a visual NFA to DFA converter
  ☆90Updated last year