Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
☆288May 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.
Sorting:
- metamath proof enumerators and other things☆99Nov 16, 2025Updated 9 months ago
- Radvylf Should Not Be Allowed To Write Programming Languages☆12Nov 11, 2022Updated 3 years ago
- Divide and Compute with Maximum Likelihood Tomography☆15Nov 1, 2023Updated 2 years ago
- ☆13Jul 18, 2020Updated 6 years ago
- JavaScript library for working with automata and grammars for regular and context-free languages☆228Aug 22, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Busy Beaver deciders backed by Coq proof☆62Mar 2, 2025Updated last year
- Modeling and Proving in Computational Type Theory☆125Aug 11, 2026Updated 3 weeks ago
- 🧹 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
- Here we give programs that check if Turing machines halt or not.☆17Sep 1, 2025Updated last year
- 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+)☆25Oct 29, 2024Updated last year
- ☆12Mar 6, 2023Updated 3 years ago
- ☆24Oct 6, 2024Updated last year
- Static web experiment☆15Aug 10, 2026Updated 3 weeks ago
- 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
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Qiskit adapter for IQM's quantum computers☆30Jul 17, 2026Updated last month
- Spacecraft Dynamics and Control☆17Aug 28, 2024Updated 2 years ago
- Implementations of common data structures in C☆17Jul 20, 2022Updated 4 years ago
- An Algorithm for Compressing Space and Time☆51May 31, 2018Updated 8 years ago
- Make any iterator or iterable abortable via an AbortSignal☆16Dec 6, 2024Updated last year
- lang Thue + Regex☆15Apr 20, 2022Updated 4 years ago
- RedSage is a lightweight terminal-based pair programming assistant that integrates with LLMs (like OpenAI and Claude) to provide real-tim…☆16Dec 8, 2024Updated last year
- Extract HP printer ".bdl" firmware update files☆14Nov 15, 2017Updated 8 years ago
- High-resolution DM42 skin for the Free42 simulator☆12Feb 13, 2024Updated 2 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.
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆18Jun 7, 2026Updated 2 months ago
- This repository contains a new backend which can simulate noisy quantum logic circuits using the density matrix formalism.☆37Jun 2, 2024Updated 2 years ago
- A generative model of compositionality in symmetric monoidal (Kleisli) categories☆12Oct 4, 2023Updated 2 years ago
- Quantum computing simulator for OpenQASM☆17Aug 26, 2026Updated last week
- Remix stack for a static MDX blog that is quick to set up and customize☆13Jul 28, 2023Updated 3 years ago
- QSLib is a package for interacting with Applied Biosystems' QuantStudio qPCR machines, intended for non-qPCR uses, such as DNA computing …☆15Aug 16, 2026Updated 2 weeks ago
- Quantum Accelerated Genome Sequencing☆12Sep 7, 2021Updated 4 years ago
- Busy Beaver deciders backed by Coq proof☆18Updated this week
- Make JVM Slow Again☆12Dec 21, 2016Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆349Apr 19, 2018Updated 8 years ago
- a list of StrongAI related resources.☆11Mar 26, 2023Updated 3 years ago
- Lecture Notes on General Relativity, based on lectures by Dr. Frederic P. Schuller in 2015☆83Oct 12, 2020Updated 5 years ago
- Encoder for DM42 programs.☆16Dec 12, 2018Updated 7 years ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆12Jun 6, 2026Updated 2 months ago
- Persistent multiplayer map of pins and stories.☆44Nov 9, 2019Updated 6 years ago
- A standard-derived suite of cryptography libraries for the TI-84+ CE graphing calculator.☆14Jun 6, 2026Updated 2 months ago