Topic: "turing-machine"
HexHive/printbf
Brainfuck interpreter inside printf
Language: Brainfuck - Size: 1.34 MB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 660 - Forks: 27
yaoguangluo/Deta_Parser
快速中文分词分析word segmentation
Language: Java - Size: 7.44 MB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 477 - Forks: 88
huihut/Facemoji 📦
😆 A voice chatbot that can imitate your expression. OpenCV+Dlib+Live2D+Moments Recorder+Turing Robot+Iflytek IAT+Iflytek TTS
Language: C# - Size: 30.5 MB - Last synced at: about 2 months ago - Pushed at: over 6 years ago - Stars: 427 - Forks: 108
caleb531/automata
A Python library for simulating finite automata, pushdown automata, and Turing machines
Language: Python - Size: 2.27 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 380 - Forks: 70
ealter/vim_turing_machine
An implementation of a Turing machine using only normal mode Vim commands
Language: Python - Size: 76.2 KB - Last synced at: 3 months ago - Pushed at: almost 5 years ago - Stars: 153 - Forks: 6
automatarium/automatarium
A place for automata
Language: TypeScript - Size: 10.8 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 75 - Forks: 11
intrinsic-propensity/turing-machine
A Python program implementing and exploiting the Minsky Turing machine considered in the paper "Intrinsic Propensity for Vulnerability in Computers? Arbitrary Code Execution in the Universal Turing Machine" as per CVE-2021-32471 (https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2021-32471)
Language: Python - Size: 63.5 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 74 - Forks: 5
cenonym/trmt
2D Turing machine (turmite) for your terminal.
Language: Rust - Size: 11.4 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 71 - Forks: 3
yedhukrishnan/turing-machine
My implementations of deterministic and non-deterministic turing machines
Language: C - Size: 8.79 KB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 67 - Forks: 7
blenderskool/vyaakaran
📜 Visualize formal languages and automata
Language: TypeScript - Size: 1.1 MB - Last synced at: 3 months ago - Pushed at: 10 months ago - Stars: 53 - Forks: 9
kelvindecosta/alan
:computer: A programming language for designing Turing Machines.
Language: Python - Size: 3.19 MB - Last synced at: 30 days ago - Pushed at: almost 5 years ago - Stars: 52 - Forks: 2
knowsys/FormaleSysteme
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
Language: TeX - Size: 5.23 MB - Last synced at: 3 days ago - Pushed at: about 1 year ago - Stars: 44 - Forks: 14
sligocki/busy-beaver
Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
Language: Python - Size: 26.7 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 40 - Forks: 4
planetlambert/turing
A reference implementation of Alan Turing's 1936 paper, On Computable Numbers
Language: Go - Size: 271 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 38 - Forks: 0
Zakrok09/ts-automata
TS-AUtomata is an automata simulation utility package for FSMs, PDAs, TMs written for/in JS/TS.
Language: TypeScript - Size: 319 KB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 32 - Forks: 0
Gandalf-/BrainBash
A heavily optimizing Brain**** interpreter written in Bash!
Language: Shell - Size: 29.3 KB - Last synced at: almost 2 years ago - Pushed at: about 6 years ago - Stars: 29 - Forks: 1
knowsys/TheoLog
Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
Language: TeX - Size: 2.3 MB - Last synced at: 3 days ago - Pushed at: 11 months ago - Stars: 24 - Forks: 22
dronperminov/TuringCpu
Симулятор CPU на машине Тьюринга
Language: JavaScript - Size: 37.3 MB - Last synced at: 3 months ago - Pushed at: about 3 years ago - Stars: 24 - Forks: 0
joaopauloaramuni/fundamentos-teoricos-da-computacao
Repo Fundamentos Teóricos da Computação
Language: Python - Size: 27.6 MB - Last synced at: 12 days ago - Pushed at: about 1 month ago - Stars: 23 - Forks: 1
zyle87/turing-machine-interactive-sheet
⚙️ Turing Machine Interactive Sheet
Language: TypeScript - Size: 2.61 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 21 - Forks: 6
kiriloman/Multitape-Non-Deterministic-Turing-Machine
An accept-state seeking multitape non deterministic Turing machine.
Language: Java - Size: 1.04 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 18 - Forks: 8
ErnestThePoet/Automata-Playground
在线可视化地设计、运行自动机，支持DFA和TM Feel free to create & run your DFA and TM🍩Based on React+Next.js+Mobx+Vis Network
Language: JavaScript - Size: 1.23 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 18 - Forks: 0
djbarrow/fundamental
Software to look for interrelationships between constants and find formulas for number sequences
Language: C - Size: 618 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 17 - Forks: 3
Buroni/automata-golf
A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.
Language: JavaScript - Size: 183 KB - Last synced at: 19 days ago - Pushed at: about 2 years ago - Stars: 17 - Forks: 0
dieggsy/turing-machine
Single tape turing machine simulator in emacs and python, inspired by http://morphett.info/turing/turing.html
Language: Emacs Lisp - Size: 64.5 KB - Last synced at: 7 months ago - Pushed at: over 7 years ago - Stars: 16 - Forks: 6
stefk0/eai
Записки по „Езици, автомати и изчислимост"
Language: TeX - Size: 2.84 MB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 15 - Forks: 4
schaetzc/tursi
Turing Machine Simulator
Language: Java - Size: 1.33 MB - Last synced at: 9 months ago - Pushed at: over 5 years ago - Stars: 15 - Forks: 3
Ahmad-Faraj/jlox
Java-based interpreter for a scripting language
Language: Java - Size: 146 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 14 - Forks: 0
flrdv/pycalc
Turing-complete calculator on python3
Language: Python - Size: 225 KB - Last synced at: 21 days ago - Pushed at: over 2 years ago - Stars: 14 - Forks: 7
brunocampos01/teoria-da-computacao
Aulas, exercícios e resumos das matérias: Introdução à Informática e Teoria da Computação.
Language: Python - Size: 39.7 MB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 14 - Forks: 0
veqtrus/bitcoin-turing-machine
A compiler from a Turing Machine definition to a Bitcoin script
Language: Python - Size: 25.4 KB - Last synced at: about 1 year ago - Pushed at: about 7 years ago - Stars: 14 - Forks: 1
LukasKalbertodt/beaver
Simulating Turing machines for the Busy Beaver game
Language: Rust - Size: 246 KB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 13 - Forks: 1
nst/Wireworld
A simple Wireworld cellular automaton explorer in Swift
Language: Swift - Size: 1.43 MB - Last synced at: 2 months ago - Pushed at: about 8 years ago - Stars: 13 - Forks: 1
johnphantom/Dynamic-Stateless-Computer
I propose a new form of logic; Logic Geometry. Dynamic connections, or dynamic geometric logic, or logic through the changing shape of geometry, like a truth table that the truths change and is essentially functional programming, but is logic without values or measurements, where the changing shape is the only information.
Size: 1.34 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 12 - Forks: 1
uds-psl/CoqTM
Formalising Turing Machines In Coq (bachelor's thesis)
Language: Coq - Size: 1.32 MB - Last synced at: 2 months ago - Pushed at: almost 2 years ago - Stars: 12 - Forks: 2
nickdrozd/busy-beaver-stuff
Tools for finding and analyzing Busy Beaver programs for Turing machines
Language: Python - Size: 16.3 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 11 - Forks: 1
ivandiliso/turing-machines
Implementation of Turing Machines in jFlap 8.1 for the "Computability and Complexity" exam
Size: 59.6 KB - Last synced at: 5 months ago - Pushed at: about 5 years ago - Stars: 11 - Forks: 1
saisubham/turing-machine-simulator
A simple Turing machine simulator
Language: C++ - Size: 256 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 11 - Forks: 1
tfburns/TuringMachine.jl
Julia-based Turing machine simulator
Language: Julia - Size: 41 KB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 10 - Forks: 3
cslarsen/busy-beaver
Calculates the uncomputable Busy Beaver Σ-function
Language: Python - Size: 227 KB - Last synced at: 2 months ago - Pushed at: about 9 years ago - Stars: 10 - Forks: 0
fcortes/turing-machine-simulator
Simple turing machine simulator using the syntax of the online simulator at turingmachinesimulator.com
Language: C++ - Size: 22.5 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 9 - Forks: 4
turing-marcos/turing-machine
An improved Turing Machine made in Rust
Language: Rust - Size: 11.1 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 9 - Forks: 0
vtramo/turing-machine-simulator
A Turing machine simulator written in Java
Language: Java - Size: 35.4 MB - Last synced at: 24 days ago - Pushed at: over 1 year ago - Stars: 9 - Forks: 0
ZigRazor/CXXAutomata
A C++ library for simulating automata and Turing machines
Language: C++ - Size: 68.4 KB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 8 - Forks: 4
huihut/TuringRobot
🤖 图灵机器人的 Unity 脚本
Language: C# - Size: 10.7 KB - Last synced at: 3 months ago - Pushed at: almost 7 years ago - Stars: 8 - Forks: 5
aropie/Turing-Machine-Simulator
Python Turing machine simulator
Language: Python - Size: 4.88 KB - Last synced at: 3 days ago - Pushed at: about 2 years ago - Stars: 7 - Forks: 4
margual56/TuringMachine 📦
A Turing machine interpreter made in Java using Processing libraries.
Language: HTML - Size: 3.38 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 0
RuiDGPires/Simple-Turing-Machine-Emulator
A simple turing machine emulator
Language: C++ - Size: 1.2 MB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 7 - Forks: 1
DanArmor/turing_cmd
Turing machine with TUI
Language: C++ - Size: 42.1 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 1
pickaxe828/turbine
A poorly coded configurable Turing machine, made with Rust and splash of ❤️
Language: Rust - Size: 43.4 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 0
foggynight/turing-machine
Turing machine simulator with support for multitape and nondeterministic Turing machines.
Language: Scheme - Size: 190 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 0
DanieleCecca/Macchine-di-Turing
Sono state realizzate alcune Turing machines che risolvono alcuni problemi di natura matematica
Size: 280 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 0
seahore/turing-machine-emulator
一个命令行的图灵机演示模拟器
Language: C++ - Size: 34.2 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 6 - Forks: 3
AlanNunes/Compiler
This Is a Programming Language (Alanus). It's the first compiler I wrote for learnings purpose.
Language: Python - Size: 2.23 MB - Last synced at: 6 days ago - Pushed at: about 5 years ago - Stars: 6 - Forks: 0
CristianAbrante/PushdownAutomaton
Implementation of a pushdown automaton (PDA) in Java for learning purposes
Language: Java - Size: 604 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 6 - Forks: 4
sdiemert/QTMSim
Quantum Turing Machine Simulator
Language: JavaScript - Size: 63.5 KB - Last synced at: about 2 months ago - Pushed at: about 8 years ago - Stars: 6 - Forks: 3
ihavenonickname/Turing-Script
Create and run Turing machines
Language: F# - Size: 155 KB - Last synced at: over 2 years ago - Pushed at: almost 9 years ago - Stars: 6 - Forks: 0
eug/cuckoo
Framework for creating automatons
Language: Java - Size: 770 KB - Last synced at: almost 2 years ago - Pushed at: almost 10 years ago - Stars: 6 - Forks: 0
slyphix/turingsim
JavaScript Turing Machine Simulator
Language: JavaScript - Size: 391 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 5 - Forks: 0
turing-marcos/turing-lib
The library used in the turing machine
Language: Rust - Size: 38.1 KB - Last synced at: 8 days ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 1
AdonisEnProvence/Turing
Turing machine interpreter and visualizer
Language: Shell - Size: 846 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 0
tiz314/TuringMachine
Universal Turing Machine simulator
Language: C - Size: 114 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 0
Lennart4711/CustomProcessor
8-Bit computer following the design by Ben Eater
Language: Python - Size: 2.73 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 3
Clonexy700/NSU-opd-dmta-solver
Customizable and convenient service for working with mathematical formulas from the field of DMTA
Language: JavaScript - Size: 8.67 MB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 5 - Forks: 0
RullDeef/MathAlgorithms
Advanced normal algorifm executor
Language: Python - Size: 36.1 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 5 - Forks: 0
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
Size: 17.6 KB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 5 - Forks: 1
GianFederico/repo-Calcolabilita_Complessita
Exercises for the course of Computability and Complexity. Turing machines on JFLAP.
Size: 229 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 5 - Forks: 0
sina-rostami/Turing-Machine-Implementation
This is a simple implementation of turing machine in C++
Language: C++ - Size: 454 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 1
europ/VUTBR-FIT-TIN
VUTBR - FIT: TIN 2018/2019
Language: TeX - Size: 13.4 MB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 2
SekiT/TMP
Turing Machine Programming/Puzzle
Language: JavaScript - Size: 1.86 MB - Last synced at: about 14 hours ago - Pushed at: about 14 hours ago - Stars: 4 - Forks: 0
rafa-br34/LangtonsAnt
A highly performant C++ & Web implementation of Langton's ant
Language: C++ - Size: 39.5 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 4 - Forks: 0
arya2004/turing-machine-calculator-simulator
Simulation of Basic Calculator through the Turing Machine
Language: C - Size: 380 KB - Last synced at: about 2 months ago - Pushed at: 8 months ago - Stars: 4 - Forks: 4
mellonis/turing-machine-js
🧘🏼♂️ A convenient Turing machine
Language: TypeScript - Size: 1.25 MB - Last synced at: 8 days ago - Pushed at: 9 months ago - Stars: 4 - Forks: 1
Ingenious-c0der/Beluga
An esoteric programming language based on Turing Machines
Language: C++ - Size: 163 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 4 - Forks: 0
alexander-zibert/turing-machine-board-game-solver
Helper for the board game turing machine. Can check if your deductions are valid so far.
Language: C++ - Size: 1.84 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 2
severen/turing-tarpit
An educational environment for exploring automata, Turing machines, and the λ-calculus.
Language: TypeScript - Size: 611 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0
farkon00/turing_script
Turing script is interpreted programming language, that emulates turing machine.
Language: Python - Size: 6.35 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0
automacoin/frontend
A Web Client for the AutomaCoin Network.
Language: JavaScript - Size: 4.65 MB - Last synced at: 2 days ago - Pushed at: about 3 years ago - Stars: 4 - Forks: 2
Victrid/hotpile
High Order Turing Machine Language Compiler for turingmachinesimulator.com
Language: Python - Size: 6.84 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 0
funnypolynomial/Turing-ring
Turing-ring is a simple Turing Machine using just a Nano, a NeoPixel ring and a rotary encoder+push-button The ring is the tape and the UI.
Language: C++ - Size: 33.2 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 0
mjftw/automata
Fundamental computing machines implemented in Clojure.
Language: Clojure - Size: 54.7 KB - Last synced at: 1 day ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 0
benbarsdell/busy-beaver
Efficient Turing machine simulator for evaluating busy beaver programs with up to 6 states.
Language: C++ - Size: 44.9 KB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 0
keisentraut/langtons-ant
a simple C implementation of Langton's Ant
Language: C - Size: 70.3 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 2
tylerastraub/TylerTuringMachine
A Turing Machine simulator written in C++ and compiled on the command line.
Language: C++ - Size: 8.79 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 1
zaz/turing
A Python library for working with Turing machines
Language: Python - Size: 176 KB - Last synced at: about 2 years ago - Pushed at: over 9 years ago - Stars: 4 - Forks: 1
jakewilliami/ComputabilityTheory.jl
Pure Julia implementation of tools used in Computability Theory
Language: Julia - Size: 1.58 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 3 - Forks: 1
olincollege/TuringMachine
An electromechanical Turing Machine which utilizes a physical tape to perform computation
Language: G-code - Size: 573 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 3 - Forks: 5
nikhil-RGB/turing-machine-generator
This desktop-application can be used to generate turing machines with custom m-configurations, symbols and actions.
Language: Dart - Size: 618 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 3 - Forks: 0
cristianpenteado/turing-machine
Máquina de Turing para palíndromos binários
Language: JavaScript - Size: 82 KB - Last synced at: 10 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 1
n-alex-goncalves/TuringMachineLambdaCalculusInterpreter
A HTML/JS web application that converts a Turing machine to an untyped lambda calculus term (and vice versa) within a polynomial time complexity.
Language: JavaScript - Size: 9.71 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 1
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
Language: Python - Size: 69.3 KB - Last synced at: 18 days ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 1
Mohammedvaraliya/AutomaPy
This package refers to the topic of automata theory, which includes DFA, NDFA, Mealy machines, Moore machines, Finite state machine and Turing machine.
Language: Python - Size: 78.1 KB - Last synced at: 2 months ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 0
vedgar/izr
Language: TeX - Size: 17.6 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0
adevancomp/Sportheca-Mobile-Developer 📦
Hey dev! Já pensou em trabalhar com desenvolvimento para os maiores clubes de futebol do país como Flamengo, Corinthians, Atlético-MG, Fortaleza e muitos outros? Se inscreva no bootcamp Sportheca Mobile Developer, tenha uma trilha completa sobre Java, Kotlin e Android para se tornar um dev mobile de ponta e tenha a chance de trabalhar na gigante Sportheca, que une tecnologia com esporte de ponta no país.
Language: Java - Size: 24.4 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0
jamestiotio/compstruct
SUTD 2020 50.002 Computation Structures Code Dump
Language: C - Size: 89.7 MB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 0
StardustDL/turing-machine-emulator
An emulator for multi-tape deterministic turing machine.
Language: Python - Size: 30.3 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 1
DigitMan27/UniversalTuringMachine
This is a universal Turing Machine Application in which you can simulate any Deterministc Turing Machine. Written in C#(.NET 5)
Language: C# - Size: 2.31 MB - Last synced at: almost 2 years ago - Pushed at: almost 4 years ago - Stars: 3 - Forks: 1
CodeGuild-co/tms
An online Turing Machine Simulator
Language: JavaScript - Size: 3.96 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 14
ljwagerfield/reverse-turing-machine
Algorithm for running Turing Machines in reverse (written in Scala)
Language: Scala - Size: 21.5 KB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 3 - Forks: 0
pandermatt/turing-machine
🎰 Turing Machine (only multiplication) in Java
Language: Java - Size: 18.4 MB - Last synced at: 4 months ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 0
