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
  ☆211Updated 7 months ago
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆28Updated last year
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆103Updated 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…
  ☆149Updated last week
• evanw / fsm
  Finite State Machine Designer
  ☆299Updated last year
• eulertour / eulerv2
  A web based frontend to manim
  ☆102Updated 2 years ago
• tcNickolas / puzzles
  A collection of puzzles I've created over the years
  ☆14Updated 4 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆216Updated 4 months ago
• ChristopherChudzicki / math3d-react
  A user-friendly 3d graphing calculator for the web. Create, share, and animate 3d mathematical scenes.
  ☆262Updated last month
• leios / SoME_Topics
  Collaboration / Topic requests for SoME
  ☆210Updated last year
• cdchoy / ppcc
  A Powerpoint CPU
  ☆92Updated 4 years ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆241Updated last year
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆434Updated last year
• PatrikBak / GeoGen
  Automated generation of planar geometry olympiad problems
  ☆88Updated last year
• silq-lang / silq
  ☆626Updated 2 months ago
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆34Updated last year
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆299Updated 3 weeks ago
• MikeDevice / first-follow
  Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation
  ☆128Updated 2 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 8 months ago
• vEnhance / von
  Olympiad problem database
  ☆47Updated last week
• kimwalisch / primecount
  🚀 Fast prime counting function implementations
  ☆317Updated this week
• ccz181078 / Coq-BB5
  ☆191Updated this week
• howard36 / probase
  An online math contest platform
  ☆19Updated last month
• leanprover-community / lean4game
  Server to host lean games.
  ☆250Updated last week
• leanprover-community / NNG4
  Natural Number Game
  ☆154Updated 2 weeks ago
• dthain / compilerbook-examples
  Example code for compilers textbook.
  ☆174Updated 2 years ago
• BNFC / bnfc
  BNF Converter
  ☆598Updated 2 weeks ago
• angrykoala / awesome-esolangs
  Curated list of awesome Esoteric languages and resources
  ☆527Updated 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
• arechnitzer / CLP1
  "CLP-1 Differential Calculus" open source textbook
  ☆53Updated 4 months ago