Alternatives and similar repositories for turing-machine-viz

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

• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆221Updated last month
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆216Updated 9 months ago
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆106Updated 2 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆249Updated 2 months ago
• nicolasloizeau / guigl
  GUI for glider logic in Conway's game of life.
  ☆102Updated 5 years ago
• abeakkas / ipho-unofficial.org
  Database for International Physics Olympiads
  ☆11Updated 2 months ago
• diksown / touristfacts
  🏆 Some 'facts' about the arguably most prominent competitive programmer of all time.
  ☆40Updated 9 months ago
• MikeDevice / first-follow
  Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation
  ☆131Updated 2 years ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆250Updated last year
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆380Updated this week
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆45Updated this week
• PatrikBak / GeoGen
  Automated generation of planar geometry olympiad problems
  ☆91Updated last year
• KeelyHill / tuppers-formula
  A small web app that allows the simple creation and decoding of Tupper's self-referential formula.
  ☆82Updated 2 years ago
• leios / SoME_Topics
  Collaboration / Topic requests for SoME
  ☆210Updated 2 years ago
• vdrhtc / InLaTeXbot
  Customizable LaTeX bot for Telegram messenger
  ☆224Updated last year
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆388Updated this week
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆305Updated last month
• maksimovichsam / DoublePendulumVideo
  Used to make: https://youtu.be/n7JK4Ht8k8M
  ☆135Updated 2 years ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆196Updated 3 weeks ago
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆16Updated 2 months ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆905Updated 8 years ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated last year
• nicolasloizeau / gol-computer
  A computer in Conway's game of life
  ☆170Updated 5 months ago
• minchingtonak / lambster.dev
  Web interface for https://github.com/minchingtonak/lambster
  ☆9Updated 2 weeks ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆269Updated last week
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆291Updated 5 months ago
• vEnhance / von
  Olympiad problem database
  ☆49Updated last week
• vEnhance / tsqx
  Asymptote preprocessor
  ☆14Updated last week
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 10 months ago
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆31Updated last week