A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.
-
Updated
Apr 3, 2017 - Rust
A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.
An optimizing Brainfuck compiler & interpreter
Wolfram's Elementary Cellular Automaton (Rule 110)
Design a turing-complete marble run with ascii/unicode art
Turing Machine to Tracery compiler
Gitcy Isn't Turing Complete Yet
a compiler from Turing Machines to VISL CG-3 code
Implementations and reports on the CYK algorithm, a simplified halting problem, and Turing-equivalent computational models.
A Rule 110 simulation written as an ed(1) script.
[WIP] Single-instruction turing-complete interpreter and compiler
A Turing machine emulator written as a BAIN wizard, doubling as a proof that the BAIN wizard minilang is Turing-complete
🧰 A Simple Turing Machine Code Interpreter written in Go
Implementation of the Conway's Game of Life
A functioning Turing Machine inside Notepad++ using find/replace and regular expressions
This repository contains the software used in the paper "What Makes the Game of Life Special?" (see turney-life-is-special-v2b.pdf).
Dějiny a filozofie techniky - Semestrální práce - Alan Turing
A formal proof of how to build a recurrent neural network that simulates an arbitrary Turing machine, alongside an implementation of a specific case
Tim Hutton's 32-state cellular automaton is Turing-complete
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.
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)
Add a description, image, and links to the turing-completeness topic page so that developers can more easily learn about it.
To associate your repository with the turing-completeness topic, visit your repo's landing page and select "manage topics."