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: 26 Jul 2025

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

turing-machine vim

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: 22 Apr 2025

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: 14 Jul 2025

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/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/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/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/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/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: 01 Nov 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/pandermatt/turing-machine

🎰 Turing Machine (only multiplication) in Java

demo java turing-machine

Last synced: 26 Feb 2025

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/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: 22 Jul 2025

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/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/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/mikkelmilo/go-turing-machine

A Turing Machine implementation written in Go

go golang interpreter turing-machine

Last synced: 22 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: 10 Jun 2025

https://github.com/matubu/ft-turing

🎞️ A program written in Haskell to simulate a turing machine

haskell 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: 10 Oct 2025

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/corentinth/langtonsant

A very simple cellular automaton and Turing machine.

ant langton-ant turing-machine

Last synced: 07 Apr 2025

https://github.com/pihart/turing

A transpiler from my advanced syntax including functions for representing Turing Machines

transpiler turing-machine

Last synced: 05 Mar 2025

https://github.com/thatsinewave/langton-ant-game

Langton's Ant is a two-dimensional Turing machine invented by Chris Langton in 1986.

good-first-bug good-first-contribution good-first-example good-first-issue good-first-issues good-first-pr good-first-pr-first-contribution good-first-project html-css html-css-javascript html-css-js thatsinewave turing turing-complete turing-completeness turing-machine turing-machine-simulator turing-machines turing-pattern turing-test

Last synced: 24 Dec 2025

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: 12 May 2025

https://github.com/zdimension/turing_projet1

Premier projet du module d'algorithmique & complexité du S7 (PNS)

algorithms arithmetic optimization turing-machine

Last synced: 29 Mar 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: 27 Jul 2025

https://github.com/uncomputable/simple-turing

Turing machine verifier written in Simplicity

application bitcoin rust turing-machine

Last synced: 29 Mar 2025

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: 27 Feb 2025

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/husain3012/automatasim

A simulator, and sharing platform, for automatons.

automata-simulator automata-theory formal-languages nextjs turing-machine typescript

Last synced: 18 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

np p turing-machine

Last synced: 10 Aug 2025

https://github.com/agiraudet/ft_turing

Turing Machine Emulator

ocaml turing-machine universal-turing-machine writeups

Last synced: 03 Jan 2026

https://github.com/jonathanstarup/turing-machine

Turing Machine in Flix

flix flix-language flix-programming-language turing-machine

Last synced: 15 Apr 2025

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: 06 Mar 2025

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: 16 Mar 2025

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: 27 Nov 2025

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: 03 Apr 2025

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: 30 Nov 2025

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/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/ttulka/turmin

Turmin esoteric programming language is neither a Turing machine nor a Minsky machine.

esolang js minsky programming-language turing-machine

Last synced: 12 Aug 2025

https://github.com/pirocheto/python-turing-machine

Implementation of a turing machine for educational purposes

educational-project python turing-machine

Last synced: 16 Aug 2025

https://github.com/femtobit/turing-templates

Experiment on generating turing-machine implementations in terms of C++ templates

clojure cpp turing-machine

Last synced: 17 Aug 2025

https://github.com/elijahverdoorn/theory-of-computation-final

Final Project for CSCI333: Theory of Computation at St. Olaf College, Spring 2017

jflap jsflap nodejs sigmajs theory-of-computation turing-machine turing-machine-simulator

Last synced: 05 Dec 2025

https://github.com/mikolajszymczuk1/turingmachine

Python implementation of Turing Machine

alghorithm object-oriented-programming python3 turing turing-machine

Last synced: 24 Feb 2025

https://github.com/kajizukataichi/stem

Stem: Turing Educational Machine

computer-science education emulator turing-machine

Last synced: 14 May 2025

https://github.com/hkproj/turingsharp

C# turing machine simulator

csharp turing-machine turing-machine-simulator

Last synced: 26 Dec 2025

https://github.com/mehrab-kalantari/busy-beaver-problem

An explanation of busy beaver problem with samples and codes

busy-beaver halting-problem theory-of-computation turing-machine

Last synced: 05 Mar 2025

https://github.com/scorpi-on/taifia

Course project on the theory of algorithms and formal languages (Oct 2022, 3d semester of university)

course-project pyqt6 theory-of-algorithms turing-machine

Last synced: 18 Mar 2025

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: 24 Feb 2025

https://github.com/jiriklepl/cpp-turing-machine-in-templates

C++ turing machine in templates

cpp cpp11 cpp14 cpp17 cpp20 functional-programming turing-machine

Last synced: 27 Mar 2025

https://github.com/cacilhas/brainfuck

brainfuck exercise lex turing-machine yacc

Last synced: 14 Mar 2025

https://github.com/gabrielpalassi/sisprog

Repositório de exercícios e projetos desenvolvidos na disciplina Sistemas de Programação da Poli-USP.

assembly system-programming turing-machine von-neumann-machine

Last synced: 30 Oct 2025

https://github.com/iwdgo/postfixcalculator

Reverse Polish Notation calculator using various techniques

benchmarks emulating-stack go golang rpn rpn-operators turing-machine

Last synced: 01 Sep 2025

https://github.com/cuchi/turmite

Chaotic two-dimensional Turing machine

elixir functional-programming turing-machine

Last synced: 23 Mar 2025

https://github.com/cr2007/f29fb-assignment

Turing Machine Code for Foundations 2 Course (F29FB)

foundations-2 turing-machine unary-multiplication

Last synced: 03 Apr 2025

https://github.com/zonetecde/turing-machine-box

Visualiser en temps réel les étapes d'une machine de Turing sur votre algorithme.

algorithm svelte turing-machine turing-machine-simulator webapp

Last synced: 19 Jul 2025

https://github.com/fl03/rstm

rstm works to provide concrete abstractions for dynamic computational models; aka Turing Machines.

crate crates-io model rust-lang turing-machine

Last synced: 14 Oct 2025

https://github.com/salog0d/turingmachine

Un resaltador de sintaxis avanzado basado en los principios fundamentales de Máquina de Turing, implementando un autómata finito determinista para el análisis léxico y coloreado de código fuente.

low-level parallel-computing python3 turing-machine

Last synced: 23 Jun 2025