Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
☆285May 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:
- Mathematical proofs of the bbchallenge project.☆26Sep 1, 2025Updated 9 months ago
- 地空数算课2019期末作业：☆18Apr 19, 2021Updated 5 years ago
- Divide and Compute with Maximum Likelihood Tomography☆15Nov 1, 2023Updated 2 years ago
- 基于django的AI对战游戏运行平台☆20May 30, 2023Updated 3 years ago
- ☆13Jul 18, 2020Updated 5 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.
- simple double pendulum made in python☆15Oct 2, 2020Updated 5 years ago
- Make any iterator or iterable abortable via an AbortSignal☆16Dec 6, 2024Updated last year
- Busy Beaver deciders backed by Coq proof☆61Mar 2, 2025Updated last year
- JEST: N+1-version Differential Testing of Both JavaScript Engines☆14Jun 1, 2021Updated 5 years ago
- Modeling and Proving in Computational Type Theory☆124Updated this week
- 北京大学数算B2022春季大作业“方块大战”☆16Jun 7, 2022Updated 4 years ago
- Render a black hole.☆11Jan 20, 2022Updated 4 years ago
- Implementation of Conway's Surreal Numbers☆39May 24, 2026Updated 3 weeks ago
- Nucleic acid sequence designer☆12Apr 28, 2026Updated last month
- 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.
- A simple library for Haskell that allows relational programming.☆46Sep 12, 2012Updated 13 years ago
- ☆11Mar 6, 2023Updated 3 years ago
- Analyzing (and eventually executing) the ECMAScript specification☆14Jun 5, 2026Updated last week
- ☆35Dec 26, 2019Updated 6 years ago
- WIP NES emulator for the TI84+CE☆44May 28, 2026Updated 2 weeks ago
- Implementation of algorithms from the paper Fuzzy Extractors: How to Generate Strong Keys from Biometrics and Other Noisy Data☆14Mar 26, 2014Updated 12 years ago
- Python学习套件的开发环境☆13Nov 17, 2019Updated 6 years ago
- Qiskit adapter for IQM's quantum computers☆30Sep 16, 2025Updated 8 months ago
- Implementations of common data structures in C☆17Jul 20, 2022Updated 3 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.
- JISET: JavaScript IR-based Semantics Extraction Toolchain☆41Jan 7, 2023Updated 3 years ago
- An Algorithm for Compressing Space and Time☆50May 31, 2018Updated 8 years ago
- ACPI Shutdown Hack in 512 bytes of Assembly☆11Jun 20, 2021Updated 4 years ago
- lang Thue + Regex☆15Apr 20, 2022Updated 4 years ago
- A Python library for working with finite state automata.☆26Oct 12, 2011Updated 14 years ago
- Program synthesis is possible in Rust☆24Nov 15, 2018Updated 7 years ago
- 👤 Node.js face detection library based on OpenCv☆10Oct 15, 2021Updated 4 years ago
- Code for the paper LazImpa: Lazy and Impatient neural agents learn to communicate efficiently. Mathieu Rita, Rahma Chaabouni and Emmanuel…☆17Nov 21, 2020Updated 5 years ago
- A generative model of compositionality in symmetric monoidal (Kleisli) categories☆12Oct 4, 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.
- This repository contains a new backend which can simulate noisy quantum logic circuits using the density matrix formalism.☆36Jun 2, 2024Updated 2 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆18Jun 7, 2026Updated last week
- Interpreter for my esolang☆12Aug 15, 2022Updated 3 years 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
- Orbits - orbital mechanics library for nim.☆56May 25, 2026Updated 2 weeks ago
- user-editable, acronym-only dictionary☆24Jan 7, 2017Updated 9 years ago
- Chess + fairy chess + atomic chess + custom rules/boards/pieces + AI☆12Mar 5, 2019Updated 7 years ago