Alternatives and similar repositories for turing-machine-viz

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

• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆301Updated last year
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆117Updated 2 years ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆220Updated last year
• leios / SoME_Topics
  Collaboration / Topic requests for SoME
  ☆211Updated 2 years ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆87Updated last year
• MikeDevice / first-follow
  Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation
  ☆132Updated 2 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆228Updated 2 weeks ago
• automatarium / automatarium
  A place for automata
  ☆80Updated last week
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆265Updated last year
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆432Updated 2 years ago
• ccz181078 / Coq-BB5
  ☆350Updated 2 months ago
• minchingtonak / lambster
  Lambda calculus interpreter written in TypeScript
  ☆38Updated last month
• 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…
  ☆162Updated last month
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆260Updated 8 months ago
• maksimovichsam / DoublePendulumVideo
  Used to make: https://youtu.be/n7JK4Ht8k8M
  ☆139Updated 2 years ago
• ChristopherChudzicki / math3d-react
  A user-friendly 3d graphing calculator for the web. Create, share, and animate 3d mathematical scenes.
  ☆278Updated 7 months ago
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆312Updated 2 weeks ago
• mrieppel / TruthTableGenerator
  Generates truth tables for formulas of sentential logic
  ☆62Updated last year
• copy / life
  The definite Conway's Game of Life implementation in your browser. Features an infinite field & Hashlife
  ☆425Updated 5 years ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆60Updated last week
• ridiculousfish / cdecl-blocks
  The venerable cdecl, with Apple blocks support
  ☆1,076Updated 3 months ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆298Updated last week
• Paper-Proof / paperproof
  Lean theorem proving interface which feels like pen-and-paper proofs.
  ☆480Updated 3 weeks ago
• vEnhance / von
  Olympiad problem database
  ☆54Updated last week
• ImperialCollegeLondon / formalising-mathematics
  Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…
  ☆313Updated last year
• stereobooster / programming-languages-genealogical-tree
  Programming languages genealogical tree
  ☆288Updated 3 years ago
• KeelyHill / tuppers-formula
  A small web app that allows the simple creation and decoding of Tupper's self-referential formula.
  ☆82Updated 3 years ago
• nicolasloizeau / gol-computer
  A computer in Conway's game of life
  ☆173Updated last year
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,474Updated this week
• nicolasloizeau / guigl
  GUI for glider logic in Conway's game of life.
  ☆102Updated 5 years ago