Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
☆282May 19, 2021Updated 4 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.
Sorting:
- metamath proof enumerators and other things☆97Nov 16, 2025Updated 4 months ago
- OpenBazaar.org official site code☆12Dec 30, 2020Updated 5 years ago
- Divide and Compute with Maximum Likelihood Tomography☆15Nov 1, 2023Updated 2 years ago
- ☆13Jul 18, 2020Updated 5 years ago
- simple double pendulum made in python☆15Oct 2, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆11Sep 26, 2024Updated last year
- Supply chain management using Cross Application Permissioned Blockchain☆11Feb 24, 2026Updated last month
- Busy Beaver deciders backed by Coq proof☆62Mar 2, 2025Updated last year
- Modeling and Proving in Computational Type Theory☆122Updated this week
- Render a black hole.☆12Jan 20, 2022Updated 4 years ago
- Coq code formatter☆24Jan 22, 2026Updated 2 months ago
- Quantum Poker – a serious pedagogical tool to learn quantum computing that is fun to play☆29Dec 14, 2021Updated 4 years ago
- Busy Beaver deciders backed by Coq proof☆17Apr 7, 2026Updated last week
- Nucleic acid sequence designer☆12Mar 27, 2026Updated 2 weeks ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A simple library for Haskell that allows relational programming.☆46Sep 12, 2012Updated 13 years ago
- Analyzing (and eventually executing) the ECMAScript specification☆14Apr 4, 2026Updated last week
- Static web experiment☆16May 27, 2025Updated 10 months ago
- Python学习套件的开发环境☆13Nov 17, 2019Updated 6 years ago
- Implementations of common data structures in C☆16Jul 20, 2022Updated 3 years ago
- Python scripting library for generating designs readable by scadnano.☆16Apr 3, 2026Updated last week
- JISET: JavaScript IR-based Semantics Extraction Toolchain☆41Jan 7, 2023Updated 3 years ago
- An Algorithm for Compressing Space and Time☆48May 31, 2018Updated 7 years ago
- Generate the digits of Pi using a streaming algorithm☆13Jun 30, 2015Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Jan 16, 2026Updated 2 months ago
- ACPI Shutdown Hack in 512 bytes of Assembly☆11Jun 20, 2021Updated 4 years ago
- 地空数算课2018期末作业：纸带圈地☆18Apr 19, 2021Updated 4 years ago
- lang Thue + Regex☆15Apr 20, 2022Updated 3 years ago
- ☆27Apr 6, 2026Updated last week
- A Python library for working with finite state automata.☆26Oct 12, 2011Updated 14 years ago
- just another TCP proxy☆16Oct 8, 2023Updated 2 years ago
- Spacecraft Dynamics and Control☆16Aug 28, 2024Updated last year
- LaTeX lab report template / 普物实验报告 - 2016年☆10Jun 30, 2017Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 235,886 Words for Go☆12Nov 16, 2018Updated 7 years ago
- A generative model of compositionality in symmetric monoidal (Kleisli) categories☆12Oct 4, 2023Updated 2 years ago
- This repository contains a new backend which can simulate noisy quantum logic circuits using the density matrix formalism.☆36Jun 2, 2024Updated last year
- Yet another Löve2d GUI☆10Aug 25, 2020Updated 5 years ago
- Github repository for "Big Data in Astrophysics" - Spring 2021☆15Apr 26, 2021Updated 4 years ago
- Interpreter for my esolang☆12Aug 15, 2022Updated 3 years ago
- ⚛️ React Native JS-only amount (decimal) input component☆13Jan 7, 2023Updated 3 years ago