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.
Sorting:
- metamath proof enumerators and other thingsโ100Nov 16, 2025Updated 10 months ago
- OpenBazaar.org official site codeโ12Dec 30, 2020Updated 5 years ago
- Mathematical proofs of the bbchallenge project.โ27Sep 1, 2025Updated last year
- Radvylf Should Not Be Allowed To Write Programming Languagesโ12Nov 11, 2022Updated 3 years ago
- โ13Jul 18, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits โข AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Supply chain management using Cross Application Permissioned Blockchainโ12Feb 24, 2026Updated 6 months ago
- Dynamic analysis of multithreaded C programsโ13Feb 7, 2020Updated 6 years ago
- JavaScript library for working with automata and grammars for regular and context-free languagesโ228Aug 22, 2024Updated 2 years ago
- Busy Beaver deciders backed by Coq proofโ62Mar 2, 2025Updated last year
- Modeling and Proving in Computational Type Theoryโ128Aug 11, 2026Updated last month
- โ12Mar 18, 2020Updated 6 years ago
- BlockDAG algorithms Rust language simulation. DAG is the future!โ21May 12, 2018Updated 8 years ago
- Here we give programs that check if Turing machines halt or not.โ17Sep 1, 2025Updated last year
- โ18Sep 30, 2025Updated 11 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer โข AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Implementation of Conway's Surreal Numbersโ41May 24, 2026Updated 3 months ago
- Coq code formatterโ27Jun 15, 2026Updated 3 months ago
- Quantum Poker โ a serious pedagogical tool to learn quantum computing that is fun to playโ31Dec 14, 2021Updated 4 years ago
- โ12Mar 6, 2023Updated 3 years ago
- Nucleic acid sequence designerโ12Sep 10, 2026Updated last week
- โ87Aug 4, 2020Updated 6 years 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
- Qiskit adapter for IQM's quantum computersโ30Jul 17, 2026Updated 2 months ago
- Parallel Sequitur Projectโ14Dec 14, 2012Updated 13 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer โข AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Implementations of common data structures in Cโ17Jul 20, 2022Updated 4 years ago
- Python scripting library for generating designs readable by scadnano.โ18Aug 26, 2026Updated 3 weeks ago
- An Algorithm for Compressing Space and Timeโ51May 31, 2018Updated 8 years ago
- Generate a list containing all values of a finite typeโ26Jul 10, 2026Updated 2 months ago
- lang Thue + Regexโ15Apr 20, 2022Updated 4 years ago
- Hello world programs written in different esoteric languagesโ13May 10, 2020Updated 6 years ago
- dynamic classing for jupyter notebooksโ13Sep 18, 2020Updated 6 years ago
- ๆฐๅซ่น่ฎกๅโโๅ ่ดนใๅปไธญๅฟๅ็ๅไบฌๅคงๅญฆๅพๅนด้ข่ตๆๅบโ13Mar 12, 2018Updated 8 years ago
- Simple web code editor build with web components librariesโ15Oct 12, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer โข AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- PySOM - The Simple Object Machine Smalltalk implemented in Pythonโ18Jun 7, 2026Updated 3 months ago
- Theory Of Computing toolKitโ18Jul 10, 2026Updated 2 months ago
- JavaScript function that uses HTML5 canvas element to creates effect of burning text with an ability to customize colors, fonts, speed anโฆโ12May 20, 2014Updated 12 years ago
- A CHIP-8 emulator in C.โ19Aug 22, 2022Updated 4 years ago
- Quantum computing simulator for OpenQASMโ17Updated this week
- iOS Custom Keyboardโ17Dec 8, 2015Updated 10 years ago
- โ Soothing pastel theme for HexChatโ19May 4, 2025Updated last year