Design a turing-complete marble run with ascii/unicode art
-
Updated
Feb 10, 2018 - Python
#
turing-completeness
Here are 10 public repositories matching this topic...
A tool to search for gadgets, operations, and ROP chains using a backtracking algorithm in a tree-like structure
-
Updated
Jul 3, 2026 - Python
A PyTorch library for simulating Turing machines with neural networks. Includes constructions from Siegelmann & Sontag (1995) and Wei, Chen & Ma (2021).
automata neural-network simulation transformers pytorch recurrent-neural-networks transformer turing-machine theoretical-computer-science turing-machines turing turing-machine-simulator turing-completeness automata-simulator recurrent-neural-network turing-complete computational-theory
-
Updated
May 13, 2026 - Python
A repository that describes my explorations on formal verification using Dafny, techniques from programming language theory such as CYK parsing, Earley parsing, type-theoretic things like lambda calculus etc.
lambda-calculus lambda-expressions dafny earley-algorithm formal-verification earley-parser turing-completeness formal-specification loop-invariants weakest-preconditions cyk-algorithm church-thesis
-
Updated
Jun 23, 2021 - Python
Markov algorithms interpreter and a Telegram bot to test and manage these via. Many unique self written markov algorithms included. Not maintained. Reffer to https://github.com/faraui/markov instead.
-
Updated
Jun 20, 2024 - Python
A set of python programs that can be used by early learners of the Mathematical Foundations of Computer Sciences (courtesy: Introduction to the Theory of Computation by Michael Sipser)
dictionary lambda-calculus set-theory turing-machine theoretical-computer-science turing-machine-simulator set-operations turing-completeness deterministic-finite-automata diophantine dictionary-data diophantine-equation
-
Updated
Jul 27, 2021 - Python
Turing Machine to Tracery compiler
python bots compiler python-script tracery turing-machine twitter-bots turing-machines turing-machine-simulator turing-completeness tracery-grammar turing-complete
-
Updated
Sep 11, 2018 - Python
This repository contains the software used in the paper "What Makes the Game of Life Special?" (see turney-life-is-special-v2b.pdf).
-
Updated
Dec 18, 2020 - Python
JSON is Turing-complete. Wait, what?!?
-
Updated
Oct 20, 2023 - Python
Turing complete to-do list
-
Updated
May 25, 2024 - Python
Improve this page
Add a description, image, and links to the turing-completeness topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the turing-completeness topic, visit your repo's landing page and select "manage topics."