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.
  ☆105Updated 2 years ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆216Updated 8 months ago
• dthain / compilerbook-examples
  Example code for compilers textbook.
  ☆177Updated 2 years ago
• evanw / fsm
  Finite State Machine Designer
  ☆300Updated last year
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆250Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆248Updated last month
• abeakkas / ipho-unofficial.org
  Database for International Physics Olympiads
  ☆11Updated last month
• ChristopherChudzicki / math3d-react
  A user-friendly 3d graphing calculator for the web. Create, share, and animate 3d mathematical scenes.
  ☆266Updated 3 weeks 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.
  ☆298Updated last year
• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆864Updated this week
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆34Updated last year
• vEnhance / von
  Olympiad problem database
  ☆48Updated last month
• cdchoy / ppcc
  A Powerpoint CPU
  ☆92Updated 4 years ago
• jscoq / jscoq
  A port of Coq to Javascript -- Run Coq in your Browser
  ☆525Updated 6 months ago
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆30Updated last year
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 9 months ago
• math-comp / math-comp
  Mathematical Components
  ☆626Updated this week
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆219Updated 2 weeks ago
• PatrikBak / GeoGen
  Automated generation of planar geometry olympiad problems
  ☆91Updated last year
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆290Updated 5 months ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆45Updated this week
• leanprover-community / tutorials
  Some Lean tutorials
  ☆183Updated last year
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆434Updated last year
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆903Updated 8 years ago
• nicolasloizeau / gol-computer
  A computer in Conway's game of life
  ☆170Updated 5 months ago
• MikeDevice / first-follow
  Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation
  ☆129Updated 2 years ago
• rocq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆207Updated 3 weeks ago
• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆826Updated 2 years ago
• eulertour / eulerv2
  A web based frontend to manim
  ☆102Updated 2 years ago
• vdrhtc / InLaTeXbot
  Customizable LaTeX bot for Telegram messenger
  ☆223Updated last year