A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.

Design a turing-complete marble run with ascii/unicode art

A tool to search for gadgets, operations, and ROP chains using a backtracking algorithm in a tree-like structure

A minimal, Turing-complete, Domain-Specific Language; simple text editor with an interpreter, Abstract Syntax Tree and reduced Control Flow Graph graphical generator.

Open-ended natural selection of interacting code-data-dual algorithms as a property analogous to Turing completeness.

A Rule 110 simulation written as an ed(1) script.

Unidimensional Cellular Automata Explorer managing _arbitrary rules_

An optimizing Brainfuck compiler & interpreter

A PyTorch library for simulating Turing machines with neural networks. Includes constructions from Siegelmann & Sontag (1995) and Wei, Chen & Ma (2021).

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.

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.

bf-compiler is a tool for compiling C-like programs into Brainfuck

Tim Hutton's 32-state cellular automaton is Turing-complete

Turing complete programming language and interpreter

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)

A cellular automaton (CA) explorer to understand and unveil properties of CA in 1D.

a compiler from Turing Machines to VISL CG-3 code

A functioning Turing Machine inside Notepad++ using find/replace and regular expressions