Projects in Awesome Lists tagged with turing-machine
A curated list of projects in awesome lists tagged with turing-machine .
https://github.com/hexhive/printbf
Brainfuck interpreter inside printf
brainfuck-interpreter exploitation-framework printf turing-machine
Last synced: 06 Feb 2026
https://github.com/HexHive/printbf
Brainfuck interpreter inside printf
brainfuck-interpreter exploitation-framework printf turing-machine
Last synced: 20 Apr 2025
https://github.com/yaoguangluo/Deta_Parser
快速中文分词分析word segmentation
artificial-intelligence-algorithms binary eculid entropy-rate forest hmm multi-language nero nlp orthor parser pos quicksort science segmentation sensing sonar translator-speech-api turing-machine vpc
Last synced: 04 May 2025
https://github.com/huihut/Facemoji
😆 A voice chatbot that can imitate your expression. OpenCV+Dlib+Live2D+Moments Recorder+Turing Robot+Iflytek IAT+Iflytek TTS
ai chatbot chatbots dlib emoji face-detection facial-expression-recognition gif iat iflytek live2d opencv tts turing turing-machine unity voice-chat
Last synced: 25 Apr 2025
https://github.com/huihut/facemoji
😆 A voice chatbot that can imitate your expression. OpenCV+Dlib+Live2D+Moments Recorder+Turing Robot+Iflytek IAT+Iflytek TTS
ai chatbot chatbots dlib emoji face-detection facial-expression-recognition gif iat iflytek live2d opencv tts turing turing-machine unity voice-chat
Last synced: 30 Sep 2025
https://github.com/caleb531/automata
A Python library for simulating finite automata, pushdown automata, and Turing machines
automata automaton finite-state-machine fsm pushdown-automata python turing-machine turing-machines
Last synced: 02 Jan 2026
https://github.com/ealter/vim_turing_machine
An implementation of a Turing machine using only normal mode Vim commands
Last synced: 01 Apr 2025
https://github.com/blenderskool/vyaakaran
📜 Visualize formal languages and automata
automata compiler context-free-grammar editor ide regular-grammar turing-machine visualizer
Last synced: 15 Mar 2025
https://github.com/kelvindecosta/alan
:computer: A programming language for designing Turing Machines.
computation langauge turing turing-machine
Last synced: 12 Jan 2026
https://github.com/dronperminov/turingcpu
Симулятор CPU на машине Тьюринга
assembler assembly turing-machine
Last synced: 11 Aug 2025
https://github.com/joaopauloaramuni/fundamentos-teoricos-da-computacao
Repo Fundamentos Teóricos da Computação
automata grammar jflap regular-expression turing-machine
Last synced: 10 Jun 2025
https://github.com/dieggsy/turing-machine
Single tape turing machine simulator in emacs and python, inspired by http://morphett.info/turing/turing.html
emacs emacs-lisp python turing-machine turing-machine-simulator
Last synced: 17 Jan 2026
https://github.com/buroni/automata-golf
A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.
context-free domain-specific-language dsl finite-state-machine fsm turing-machine
Last synced: 13 Apr 2025
https://github.com/nst/wireworld
A simple Wireworld cellular automaton explorer in Swift
cellular-automaton cocoa logic-gates osx swift turing-machine wireworld
Last synced: 12 Apr 2025
https://github.com/brunocampos01/teoria-da-computacao
Aulas, exercícios e resumos das matérias: Introdução à Informática e Teoria da Computação.
computability-theory context-free-grammar finite-automata ine ine5602 pt-br pumping-lemma reduction suffix-tries turing-machine ufsc
Last synced: 15 Apr 2025
https://github.com/lukaskalbertodt/beaver
Simulating Turing machines for the Busy Beaver game
busy-beaver busy-beavers rust rust-application turing-machine
Last synced: 23 Apr 2025
https://github.com/uds-psl/coqtm
Formalising Turing Machines In Coq (bachelor's thesis)
bachelor-thesis coq-formalization lambda-calculus simulator turing-machine
Last synced: 23 Apr 2025
https://github.com/turing-marcos/turing-machine
An improved Turing Machine made in Rust
cli cli-app gui-application offline-first programming rust turing-machine turing-machine-simulator webapp webassembly
Last synced: 19 Jan 2026
https://github.com/nickdrozd/busy-beaver-stuff
Tools for finding and analyzing Busy Beaver programs for Turing machines
busy-beaver computability-theory turing-machine
Last synced: 22 Mar 2025
https://github.com/ivandiliso/turing-machines
Implementation of Turing Machines in jFlap 8.1 for the "Computability and Complexity" exam
Last synced: 16 Feb 2026
https://github.com/cslarsen/busy-beaver
Calculates the uncomputable Busy Beaver Σ-function
busy-beavers theoretical-computer-science turing-machine
Last synced: 10 Apr 2025
https://github.com/vtramo/turing-machine-simulator
A Turing machine simulator written in Java
javafx multitape-turing-machine turing-machine turing-machine-simulator
Last synced: 26 Jul 2025
https://github.com/zigrazor/cxxautomata
A C++ library for simulating automata and Turing machines
automata automata-learning automata-machines-simulator automata-processor automata-simulator automata-theory automatas automaton cpp cpp-lib cpp-library deterministic-finite-automaton deterministic-turing-machine dpda finite-automaton hacktoberfest non-deterministic-finite-automaton non-deterministic-turing-machine pushdown-automaton turing-machine
Last synced: 26 Mar 2025
https://github.com/alannunes/compiler
This Is a Programming Language (Alanus). It's the first compiler I wrote for learnings purpose.
code-generation compiler compiler-construction intepreter programming-language python turing-machine
Last synced: 15 Apr 2025
https://github.com/rozek/universal-turing-machine
This repository contains any material needed to run Marvin Minsky's Universal Turing Machine in Martin Ugarte's "Turing Machine Simulator" and to demonstrate its vulnerability as described by Pontus Johnson
turing-machine turing-machine-simulator universal-turing-machine vulnerability
Last synced: 10 Apr 2025
https://github.com/fractaldevteam/principia-fractalis
Principia Fractalis: Fractal Resonance Ontology. A 1000+ page work exploring how mathematics, consciousness, and physical reality connect through a unified structure. Formally triple-verified in Lean 4, Coq, and L4L
complexity-theory consciousness-and-neuroscience coq coq-formalization formal-verification fractal lean4 mathematics millennium-problems ontology proof-assistant spectral-theory theoretical-physics turing-machine
Last synced: 03 Mar 2026
https://github.com/ingenious-c0der/beluga
An esoteric programming language based on Turing Machines
automata automaton beluga cpp esoteric-programming-language fsm language-modeling regex-engine turing-machine turing-machine-executor turing-machine-simulator
Last synced: 12 May 2025
https://github.com/europ/vutbr-fit-tin
VUTBR - FIT: TIN 2018/2019
completeness complexity computer-science context-free decidability finite-state-automaton finite-state-machine fit formal-languages pushdown-automaton recursive recursively-enumerable reduction regular tin turing-machine vut vutbr
Last synced: 23 Jan 2026
https://github.com/mellonis/turing-machine-js
🧘🏼♂️ A convenient Turing machine
simulator state-machine turing-machine turing-machine-simulator
Last synced: 06 Mar 2026
https://github.com/severen/turing-tarpit
An educational environment for exploring automata, Turing machines, and the λ-calculus.
automata-theory educational lambda-calculus svelte turing-machine webapp
Last synced: 14 Apr 2025
https://github.com/benbarsdell/busy-beaver
Efficient Turing machine simulator for evaluating busy beaver programs with up to 6 states.
busy-beaver busy-beavers turing-machine turing-machine-simulator
Last synced: 08 Jul 2025
https://github.com/jakewilliami/computabilitytheory.jl
Pure Julia implementation of tools used in Computability Theory
computability-theory goto goto-program goto-programme julia julia-language julia-package julialang math mathematics maths turing-machine turing-machine-simulator
Last synced: 07 May 2025
https://github.com/yongyi781/fiery
My other website.
busy-beaver oeis svelte-5 sveltekit turing-machine
Last synced: 03 Feb 2026
https://github.com/arya2004/turing-machine-calculator-simulator
Simulation of Basic Calculator through the Turing Machine
c hacktober hacktoberfest hacktoberfest-accepted hacktoberfest-starter hacktoberfest2025 turing-machine turing-machine-simulator
Last synced: 05 Oct 2025
https://github.com/mikkelmilo/go-turing-machine
A Turing Machine implementation written in Go
go golang interpreter turing-machine
Last synced: 22 Apr 2025
https://github.com/stardustdl/turing-machine-emulator
An emulator for multi-tape deterministic turing machine.
emulator nju nju-cs turing-machine
Last synced: 21 Jul 2025
https://github.com/pandermatt/turing-machine
🎰 Turing Machine (only multiplication) in Java
Last synced: 11 Jun 2026
https://github.com/dankolesnikov/dfatoturingmachine
Turing Machine that simulates behavior of any Deterministic Finite Automata
deterministic-finite-automata dfa theoretical-computer-science theory-of-computation turing-machine
Last synced: 08 Feb 2026
https://github.com/ludovicm67/ocaml-turing-machine
Machine de Turing réalisée en Ocaml
caml ocaml turing-machine university university-project
Last synced: 27 Jun 2025
https://github.com/saxarona/tc2020
Mathematical foundations of computing---A full course on Automata Theory, Computation, Complexity and NP-hardness
automata-theory complexity computational-theory turing-machine
Last synced: 06 Feb 2026
https://github.com/matubu/ft-turing
🎞️ A program written in Haskell to simulate a turing machine
Last synced: 11 Oct 2025
https://github.com/apozzi/turing-craft
Turing Craft is visual tool for creating Universal Turing machine (UTM) using graphs. It supports Web and Desktop. Design, simulate, and explore the behavior of Turing machines.
graph-drawing graph-editor turing turing-machine turing-machine-simulator turing-machines
Last synced: 05 May 2026
https://github.com/angrysky56/quantum-framework
Theoretical basis and prototype concept for an AI native OS as an infinite Turing Machine.
ai architecture fractal infinite node os quantum turing-machine vector-database
Last synced: 03 Apr 2026
https://github.com/uncomputable/simple-turing
Turing machine verifier written in Simplicity
application bitcoin rust turing-machine
Last synced: 01 May 2026
https://github.com/notfirefox/turing-machine
Turing Machine Simulator
application cli turing-machine
Last synced: 25 Apr 2026
https://github.com/pihart/turing
A transpiler from my advanced syntax including functions for representing Turing Machines
Last synced: 21 Apr 2026
https://github.com/zdimension/turing_projet1
Premier projet du module d'algorithmique & complexité du S7 (PNS)
algorithms arithmetic optimization turing-machine
Last synced: 19 Mar 2026
https://github.com/corentinth/langtonsant
A very simple cellular automaton and Turing machine.
ant langton-ant turing-machine
Last synced: 07 Apr 2025
https://github.com/zejiran/languages-and-machines
Collection of projects made on a language and computation theory course at Universidad de los Andes
abstract-machines automata finite-state-transducers language-processing petri-nets turing-machine uniandes
Last synced: 30 Jan 2026
https://github.com/diego-2019/teoria-de-la-computacion
Practicas de la materia de Teoria de la computacion
Last synced: 24 Jun 2026
https://github.com/husain3012/automatasim
A simulator, and sharing platform, for automatons.
automata-simulator automata-theory formal-languages nextjs turing-machine typescript
Last synced: 19 Apr 2026
https://github.com/yeyom/universal-turing-go
Turing machine simulator written in go, because why not?
golang turing-machine turing-machine-simulator
Last synced: 13 Jul 2025
https://github.com/pouyakary/wolfram-turing-machine
Wolfram's 2-state 3-symbol Turing machine
new-kind-of-sciene replace-text rewriting-system tiny-code toy turing-machine wolfram
Last synced: 31 Oct 2025
https://github.com/luizanao/js-turing-machine
JS Turing Machine Simulator
state-machine transition turing-machine turing-machine-simulator
Last synced: 02 Nov 2025
https://github.com/lambdacasserole/byteribbon
Basic little brainfuck interpreter using the tokenizer from Crisp.
brainfuck interpreter turing-machine
Last synced: 06 Apr 2025
https://github.com/gabboraron/logika_es_szamitaselmelet
Turing gépek | 1-szalagos - k-szalagos | NTG | Látló | számosság | Cantor tétel | R | RE | Rice | POST | ítéletkalkulus | logika | elsőrendű logika | bonyolultságelmélet | P | NP | C teljesség | Cook-Levin | kSAT | 3SAT | HORNSAT | 3 színezhetőség | 2 színezhetőség | Klikk | lefogó ponthalmaz | független ponthalmaz | Hamilton út | Hamilton kör | utazóügynök | NP | cOC | coNP | offline Turing gép | tárígény | tárbonyolultság | ELÉR | Savitch | NL | L | Hierarchia tétel | R
Last synced: 11 Feb 2026
https://github.com/agiraudet/ft_turing
Turing Machine Emulator
ocaml turing-machine universal-turing-machine writeups
Last synced: 03 Jan 2026
https://github.com/lengyijun/collatz_function
The best 2-symbol turing machine for collatz 3x+1 function
collatz-problem turing-machine
Last synced: 23 Mar 2025
https://github.com/pzuehlke/turing-machine-tape-generator
A Python function which generates LaTeX code for displaying the tape of a Turing machine
latex python tikz turing turing-machine
Last synced: 21 May 2026
https://github.com/kenpusney/computation
Understanding Computation code in Java
automata java semantics turing-machine understanding-computation utlc
Last synced: 24 Mar 2025
https://github.com/almayor/ft_turing
A Turing Machine simulator written in Haskell
21school functional-programming haskell turing-machine
Last synced: 25 Mar 2025
https://github.com/francoisschwarzentruber/turingmachinesimulator
Simulator of a Turing machine. It handles non-deterministic Turing machines.
non-deterministic theoretical-computer-science turing-machine turing-machine-simulator
Last synced: 24 May 2026
https://github.com/infernio/bainwiz-turing
A Turing machine emulator written as a BAIN wizard, doubling as a proof that the BAIN wizard minilang is Turing-complete
bain mod-manager modding turing-completeness turing-machine
Last synced: 11 Mar 2026
https://github.com/angeligareta/turing-machine
Implementation of a Turing Machine in C++, a model of computation that defines an abstract machine that manipulates symbols on a tape according to the machine rules.
cpp turing turing-machine turing-machine-simulator
Last synced: 16 Mar 2025
https://github.com/filipefernandes007/turing-machine
Turing Machine Javascript Implementation
turing-machine turing-machine-simulator
Last synced: 14 May 2026
https://github.com/arhcoder/pytomatas
🧿 My own Python Library (available on PyPi) to implementate and simulate Automatons like DFA, NFA, PDA and Turing Machine for real projects, with documentation, examples and a project example :3
automata automatas library pypi python simulator states-machine turing-machine
Last synced: 27 Feb 2025
https://github.com/bonk-dev/maszyna-turinga-patcher
W tym repozytorium znajduje się patcher służący do poprawy dwóch bugów uniemożliwiających wygodne korzystanie z symulatora maszyny Turinga, stworzonego przez autorów www.MaszynaTuringa.info.
patch polski reverse-engineering turing-machine x86-assembly
Last synced: 07 Oct 2025
https://github.com/nirmalpaul383/brainfuck-interpreter
a brainfuck interpreter written in pure/vanilla JavaScript
bf brainfuck brainfuck-interpreter interpreter javascript-library turing-machine
Last synced: 13 Oct 2025
https://github.com/jonathanstarup/turing-machine
Turing Machine in Flix
flix flix-language flix-programming-language turing-machine
Last synced: 27 Mar 2026
https://github.com/harsha-vardhan-tangudu/theory-of-computation-designing-pda-turingmachine-safe-submarine-battle
Designing Pushdown Automata and Turing machine for Safe Submarine Battle
jflap pda push-down-automata pushdown-automaton theory-of-computation toc toc-project turing-machine turing-machine-concept
Last synced: 06 Mar 2026
https://github.com/razfrumkin/turing-machine-simulator
A website that allows the simulation of a Turing machine. The website comes with a text editor in which the user writes a script for the behavior of the turing machine. The turing machine is later simulated via a tape which is visualized in the DOM.
css html parsing turing-machine typescript web
Last synced: 29 Apr 2026
https://github.com/francoisschwarzentruber/turing-machine-language
Turing machine language. A (somehow) high-level language to describe programs running on Turing machines
algorithms educational-project turing-machine turing-machine-simulator
Last synced: 07 Jul 2025
https://github.com/catseye/beturing
https://codeberg.org/catseye/Beturing : A language corresponding to Turing machines with planar control graphs
esolang esoteric-language fungeoid turing-machine
Last synced: 24 Aug 2025
https://github.com/pozsarzs/alanz80
Turing machine implementation for CP/M and DOS
cpm dos turbopascal3 turing-machine
Last synced: 20 Jan 2026
https://github.com/jmbhughes/tapelanguage
A basic programming language on a tape
programming-language tape turing-machine turing-machine-simulator
Last synced: 20 Apr 2026
https://github.com/linuskmr/turing-machine-compiler
A compiler translating Turing machines into C code and compiles it
Last synced: 02 Jul 2025
https://github.com/phasenraum2010/html5-lab
Some Experiments with JavaScript, CSS3 and HTML5
cellular-automaton fractal html5 html5-canvas javascript mandelbrot turing-machine
Last synced: 08 Apr 2025
https://github.com/dor-sketch/tm
A graphical application built using Python and the Pygame library to simulate the operation of Turing machines.
computation turing-machine turing-machine-simulator
Last synced: 15 Mar 2025
https://github.com/gabrielemaurina/random-access-machine
Random Access Machine implemented in python.
abstract-machine machine python ram random-access-machine turing-complete turing-machine
Last synced: 27 Jul 2025
https://github.com/xipasduarte/universal-turing-machine
Universal Turing Machine implementation in JavaScript.
Last synced: 26 Jul 2025
https://github.com/kerciu/data-structures-and-algorithms
📚💡 Algorithms & Data Structures implemented in Python 🐍 — A collection of various algorithms and data structures, all implemented in Python. This repository covers essential concepts and practical implementations to help understand and master these foundational elements of computer science. 🚀🔍
algorithms algorithms-and-data-structures automata-theory avl-tree btree bubblesort data-structures dijkstra-algorithm heap max-heap mergesort priority-queue quicksort sorting-algorithms tree turing-machine
Last synced: 05 Mar 2025
https://github.com/memgonzales/turing-machine-variants
Interactive website for simulating variants of finite automata, Turing machines with 2D tapes, and k-queue automata
automata automata-simulator automata-theory automaton finite-automata finite-automaton finite-automaton-simulator pushup-counter turing-machine turing-machine-simulator
Last synced: 27 Apr 2026
https://github.com/sharyash81/tla-projects
Theory of languages and automata projects in forth semester of university
chomsky-normal-form dfa dfa-minimization finite-automata grammer nfa nfa-to-dfa nfa-to-dfa-conversion nfa2dfa turing-machine
Last synced: 14 May 2026
https://github.com/nrobledosagredo/turing-machine-simulator
A Turing machine simulator based on automata theory, allowing users to define transitions, states, and evaluate words to determine their membership in a language.
automata-theory turing-machine
Last synced: 16 Mar 2025
https://github.com/pratyush1712/cs4820
My Solutions to CS 4820 - Fall 2022 Algorithm Design Questions
algorithms-and-data-structures dynamic-programming ford-fulkerson-algorithm gale-shapley-algorithm java kruskal-algorithm turing-machine
Last synced: 03 Nov 2025
https://github.com/mahdirazaqi/game-of-life-js
Conway's Game of Life written with Javascript
conways-game-of-life evolution game game-of-life javascript life simulation turing-machine
Last synced: 09 Apr 2025
https://github.com/rory660/turingscript
Language I made up to write Turing machines.
javascript python3 turing-machine
Last synced: 30 Apr 2026
https://github.com/scottgriv/python-turing_machine
A Turing machine is a mathematical model of computation describing an abstract machine that manipulates symbols on a strip of tape according to a table of rules. Despite the model's simplicity, it is capable of implementing any computer algorithm.
python turing turing-complete turing-machine
Last synced: 01 Apr 2025
https://github.com/mrvideo/turing-machine-exercise
A small Turing Machine simulator I built to check an exercise
c turing-machine turing-machine-simulator
Last synced: 19 May 2026
https://github.com/kajizukataichi/stem
Stem: Turing Educational Machine
computer-science education emulator turing-machine
Last synced: 14 May 2025
https://github.com/b1z0n/turingmachine
Classes for using a Turing Machine and useful macroses
macros python3 turing turing-machine
Last synced: 09 Apr 2025
https://github.com/mikolajszymczuk1/turingmachine
Python implementation of Turing Machine
alghorithm object-oriented-programming python3 turing turing-machine
Last synced: 09 Jun 2026
https://github.com/cr2007/f29fb-assignment
Turing Machine Code for Foundations 2 Course (F29FB)
foundations-2 turing-machine unary-multiplication
Last synced: 11 Feb 2026
https://github.com/vadyushkins/pctm
Primality Check Turing Machine
context-sensitive-grammar linear-bounded-automaton primality-check primality-test turing-machine unrestricted-grammar
Last synced: 20 Mar 2025
https://github.com/jspast/teoriadacomputacao
Trabalhos de Teoria da Computação
lambda-calculus norma-machine turing-machine
Last synced: 26 Jan 2026
https://github.com/tadiusfrank2001/cs101-theory-of-computation-and-languages
Investigate models of computation, formal languages, and computability in Haskell to build an Interpreter
automota context-free-grammar finite-state-machine halting-problem lexical-analysis parsing parsing-expression-grammar pumping-lemma regular-language turing turing-machine
Last synced: 13 Jun 2025
https://github.com/thepriben/brainfuck-examples
Comprendre la machine de Turing avec Brainfuck : Turing-complétude et problème de l’arrêt, 2026, Programmez! n°274, pp. 69-71.
2026 brainfuck programmez-magazine turing-machine
Last synced: 30 May 2026
https://github.com/smirnovoleg/bmw
Arithmetic expressions language checker: unary multiplication
grammars linear-bounded-automaton turing-machine
Last synced: 13 Jun 2025
https://github.com/gabboraron/algoritmuselmelet
A félév első részében (első 6 téma) az automataelmélettel foglalkozunk. A félév második részében (7., 8. és 9. téma) a formális nyelvekkel foglalkozunk.
formal-languages formalisnyelvek turing-machine
Last synced: 05 Feb 2026