aepsilon/turing-machine-viz external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

aepsilon/turing-machine-viz

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/aepsilon/turing-machine-viz)

Close

aepsilon / turing-machine-vizView on GitHubMore

• External links
• Readme badge

Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️

☆287May 19, 2021Updated 5 years ago

Alternatives and similar repositories for turing-machine-viz

Users that are interested in turing-machine-viz are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• sorear / metamath-turing-machines

  View on GitHub
  metamath proof enumerators and other things
  ☆98Nov 16, 2025Updated 8 months ago
• OpenBazaar / official_site

  View on GitHub
  OpenBazaar.org official site code
  ☆12Dec 30, 2020Updated 5 years ago
• bbchallenge / bbchallenge-proofs

  View on GitHub
  Mathematical proofs of the bbchallenge project.
  ☆27Sep 1, 2025Updated 10 months ago
• Radvylf / rSNBATWPL

  View on GitHub
  Radvylf Should Not Be Allowed To Write Programming Languages
  ☆12Nov 11, 2022Updated 3 years ago
• highlightjs / highlightjs-cypher

  View on GitHub
  Cypher language syntax highlighting plugin for highlight.js
  ☆11Mar 28, 2025Updated last year
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• teorth / equational

  View on GitHub
  ☆10Sep 26, 2024Updated last year
• meithecatte / busycoq

  View on GitHub
  Busy Beaver deciders backed by Coq proof
  ☆62Mar 2, 2025Updated last year
• uds-psl / MPCTT

  View on GitHub
  Modeling and Proving in Computational Type Theory
  ☆125Jul 13, 2026Updated last week
• pkulab409 / pkudsa.tetris

  View on GitHub
  北京大学数算B2022春季大作业“方块大战”
  ☆16Jun 7, 2022Updated 4 years ago
• alanshaw / libp2p-dht-scrape-aas

  View on GitHub
  🧹 A libp2p DHT scraper as a service allowing anyone to collect, consume and use to generate useful reports & visualisations.
  ☆22Jan 11, 2022Updated 4 years ago
• LRLVEC / BlackHoleRendering

  View on GitHub
  Render a black hole.
  ☆11Jan 20, 2022Updated 4 years ago
• ErickWendel / certificate-manager

  View on GitHub
  NodeBR's certificate manager using Node.js Worker Threads
  ☆11Jan 28, 2021Updated 5 years ago
• toku-sa-n / rocqfmt

  View on GitHub
  Coq code formatter
  ☆25Jun 15, 2026Updated last month
• sintefmath / QuantumPoker

  View on GitHub
  Quantum Poker – a serious pedagogical tool to learn quantum computing that is fun to play
  ☆29Dec 14, 2021Updated 4 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• HowlingWolfHWC / OSDSYS-Launcher

  View on GitHub
  HWC's OSDSYS Launcher is a tool that allows users of PS2 consoles with BIOS v2.30+ to launch OSDSYS updates (includes FMCB and XEB+)
  ☆24Oct 29, 2024Updated last year
• zoomlogo / vim-apl

  View on GitHub
  ☆11Mar 6, 2023Updated 3 years ago
• karlseguin / logdk

  View on GitHub
  ☆24Oct 6, 2024Updated last year
• UC-Davis-molecular-computing / nuad

  View on GitHub
  Nucleic acid sequence designer
  ☆12Jul 8, 2026Updated 2 weeks ago
• chbpku / dxkStickIDE

  View on GitHub
  Python学习套件的开发环境
  ☆13Nov 17, 2019Updated 6 years ago
• hbhdytf / PinSketch

  View on GitHub
  Implementation of algorithms from the paper Fuzzy Extractors: How to Generate Strong Keys from Biometrics and Other Noisy Data
  ☆15Mar 26, 2014Updated 12 years ago
• vatankhahghadim / AER506

  View on GitHub
  Spacecraft Dynamics and Control
  ☆17Aug 28, 2024Updated last year
• chbpku / paper.io.sessdsa

  View on GitHub
  地空数算课2018期末作业：纸带圈地
  ☆18Apr 19, 2021Updated 5 years ago
• mafm / HashLife

  View on GitHub
  An Algorithm for Compressing Space and Time
  ☆51May 31, 2018Updated 8 years ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• janestreet / ppx_enumerate

  View on GitHub
  Generate a list containing all values of a finite type
  ☆26Jul 10, 2026Updated 2 weeks ago
• HamiltonHuaji / PKUWalker

  View on GitHub
  Allow you walk when others run
  ☆10Dec 6, 2019Updated 6 years ago
• AtieP / acpi_shutdown_asm

  View on GitHub
  ACPI Shutdown Hack in 512 bytes of Assembly
  ☆11Jun 20, 2021Updated 5 years ago
• codex-iter / Hello-Esolangs

  View on GitHub
  Hello world programs written in different esoteric languages
  ☆12May 10, 2020Updated 6 years ago
• alexhagen / jdc

  View on GitHub
  dynamic classing for jupyter notebooks
  ☆13Sep 18, 2020Updated 5 years ago
• bryango / PKUGeneralPhyLabReport_LaTeX

  View on GitHub
  LaTeX lab report template / 普物实验报告 - 2016年
  ☆10Jun 30, 2017Updated 9 years ago
• rocq-community / atbr

  View on GitHub
  Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]
  ☆26Apr 28, 2026Updated 2 months ago
• smarr / PySOM

  View on GitHub
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆18Jun 7, 2026Updated last month
• AshuK8s / PlantDoctor

  View on GitHub
  Plant disease detector and fertilizer recommendation system
  ☆10Sep 14, 2023Updated 2 years ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• Abhishek-op / SR

  View on GitHub
  💡Kivy-android speech recognition
  ☆14Jul 1, 2021Updated 5 years ago
• yndfcd / Candlestick-iOS

  View on GitHub
  candlestick chart view on iOS, written in objective-c
  ☆12Jan 20, 2017Updated 9 years ago
• deadpixi / c-chip8

  View on GitHub
  A CHIP-8 emulator in C.
  ☆19Aug 22, 2022Updated 3 years ago
• itsubaki / qasm

  View on GitHub
  Quantum computing simulator for OpenQASM
  ☆17Updated this week
• alkafinance / react-native-amount-input

  View on GitHub
  ⚛️ React Native JS-only amount (decimal) input component
  ☆13Jan 7, 2023Updated 3 years ago
• ricercaOS / ricerca

  View on GitHub
  Ricerca research kernel project to learn more about SMP, load balancing and NUMA
  ☆10Dec 7, 2021Updated 4 years ago
• mcmahon-lab / error_mitigation_vqe

  View on GitHub
  Tools for optimizing quantum circuits and for performing rescaling-based error mitigation.
  ☆10Jun 21, 2022Updated 4 years ago