mathieucaroff/cellex

Unidimensional Cellular Automata Explorer managing _arbitrary rules_

Language: TypeScript - Size: 1.6 MB - Last synced: about 12 hours ago - Pushed: about 13 hours ago - Stars: 5 - Forks: 0

sdleffler/tarpit-rs

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

Language: Rust - Size: 8.79 KB - Last synced: 15 days ago - Pushed: about 7 years ago - Stars: 222 - Forks: 7

emptybutton/ToDo

Turing complete to-do list

Language: Python - Size: 7.12 MB - Last synced: 17 days ago - Pushed: 17 days ago - Stars: 0 - Forks: 0

mathieucaroff/cellexp

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

Language: TypeScript - Size: 998 KB - Last synced: about 1 month ago - Pushed: about 2 years ago - Stars: 3 - Forks: 0

frallebini/turing-completeness-of-rnns

A formal proof of how to build a recurrent neural network that simulates an arbitrary Turing machine, alongside an implementation of a specific case

Language: TeX - Size: 2.19 MB - Last synced: about 2 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

TheoVerhelst/Gitcy

Gitcy Isn't Turing Complete Yet

Language: C++ - Size: 134 KB - Last synced: 3 months ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

latiif/Lyte

🧰 A Simple Turing Machine Code Interpreter written in Go

Language: Go - Size: 3.74 MB - Last synced: 4 months ago - Pushed: over 4 years ago - Stars: 1 - Forks: 1

psibi/dhall-mode

Language: Emacs Lisp - Size: 119 KB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 42 - Forks: 16

ShrohanMohapatra/PackMFCS

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)

Language: Python - Size: 60.5 KB - Last synced: 9 months ago - Pushed: almost 3 years ago - Stars: 2 - Forks: 0

ShrohanMohapatra/ExplorePLT

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.

Language: Python - Size: 7.84 MB - Last synced: 9 months ago - Pushed: almost 3 years ago - Stars: 4 - Forks: 0

dragoncoder047/json_runner

JSON is Turing-complete. Wait, what?!?

Language: Python - Size: 97.7 KB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 0 - Forks: 0

kiwi0fruit/ultimate-question

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

Language: CSS - Size: 11.3 MB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 9 - Forks: 0

reverseame/rop3

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

Language: Python - Size: 76.2 KB - Last synced: 12 months ago - Pushed: 12 months ago - Stars: 10 - Forks: 2

LouisJenkinsCS/DSL

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

Language: Java - Size: 3.09 MB - Last synced: over 1 year ago - Pushed: almost 3 years ago - Stars: 16 - Forks: 3

gokselgoktas/brainfuck

An optimizing Brainfuck compiler & interpreter

Language: C - Size: 24.4 KB - Last synced: about 1 month ago - Pushed: almost 7 years ago - Stars: 5 - Forks: 0

aaronjanse/marble-complete

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

Language: Python - Size: 1.18 MB - Last synced: over 1 year ago - Pushed: over 6 years ago - Stars: 51 - Forks: 4

tpenguinltg/ed1-rule110

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

Language: Makefile - Size: 10.7 KB - Last synced: over 1 year ago - Pushed: over 5 years ago - Stars: 7 - Forks: 0

EZLiang/Hutton32MRM

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

Size: 10.7 KB - Last synced: over 1 year ago - Pushed: about 3 years ago - Stars: 2 - Forks: 0

harmim/vut-fit-project

Dějiny a filozofie techniky - Semestrální práce - Alan Turing

Language: TeX - Size: 728 KB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

AMiller42/Vim-TC-Proofs

Various bits of Vim stuff to prove Turing Completeness

Size: 11.7 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

pdturney/life-is-special

This repository contains the software used in the paper "What Makes the Game of Life Special?" (see turney-life-is-special-v2b.pdf).

Language: Python - Size: 11.2 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

Infernio/bainwiz-turing

A Turing machine emulator written as a BAIN wizard, doubling as a proof that the BAIN wizard minilang is Turing-complete

Size: 9.77 KB - Last synced: 12 months ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0

zambonin/entscheidbar

Implementations and reports on the CYK algorithm, a simplified halting problem, and Turing-equivalent computational models.

Language: TeX - Size: 1.05 MB - Last synced: over 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

wenkokke/cgtm

a compiler from Turing Machines to VISL CG-3 code

Language: Haskell - Size: 69.3 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

Camto/Elementary-Cellular-Automaton

Wolfram's Elementary Cellular Automaton (Rule 110)

Language: JavaScript - Size: 2.93 KB - Last synced: over 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0