https://github.com/sdleffler/tarpit-rs

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

rust rust-language turing-completeness turing-tarpit type-system types

Last synced: 13 Jul 2025

https://github.com/aaronjanse/marble-complete

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

ascii asciidots esolang esoteric-language marble-runs marbles turing-completeness

Last synced: 20 Mar 2025

https://github.com/psibi/dhall-mode

configuration dhall turing-completeness

Last synced: 28 Jan 2026

https://github.com/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.

abstract-syntax-tree control-flow-graph domain-specific-language grammar interpreter language syntax-tree turing-completeness

Last synced: 28 Jun 2025

https://github.com/kiwi0fruit/ultimate-question

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

artificial-life ethics evolution meta-ethics metaethics natural-selection open-ended-evolution open-endedness theory-of-computation theory-of-everything turing-completeness universal-darwinism

Last synced: 16 Oct 2025

https://github.com/mathieucaroff/cellex

Unidimensional Cellular Automata Explorer managing _arbitrary rules_

cellular-automaton chaos chaos-theory complexity education evolution fractal html5-canvas pattern pattern-detection put-image-data rule110 simulation simulator turing-completeness unidimensional universe

Last synced: 04 Mar 2026

https://github.com/gokselgoktas/brainfuck

An optimizing Brainfuck compiler & interpreter

compiler interpreter language llvm programming-language source-to-source turing-completeness

Last synced: 27 Jun 2025

https://github.com/mathieucaroff/cellexp

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

cellular-automaton chaos chaos-theory complexity education evolution fractal html5-canvas pattern pattern-detection put-image-data rule110 simulation simulator turing-completeness unidimensional universe

Last synced: 14 Jul 2025

https://github.com/wenkokke/cgtm

a compiler from Turing Machines to VISL CG-3 code

haskell turing-completeness turing-machine-simulator vislcg3

Last synced: 10 Jun 2026

https://github.com/sushmaakoju/demo-atls5214

Exploratory self-study to learn about Theorem Provers and Turing Completeness.

first-order-logic theorem-provers turing-completeness

Last synced: 28 Jul 2025

https://github.com/infernio/bainwiz-turing

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

bain mod-manager modding turing-completeness turing-machine

Last synced: 11 Mar 2026

https://github.com/harmim/vut-fit-project

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

alan-turing cryptoanalysis enigma fit history history-of-computer-science philosophy turing turing-completeness turing-machine turing-test vut vut-fit

Last synced: 11 Jan 2026

https://github.com/michaeljklein/two_tag

An implementation of a bounded 2-tag system in Noir

noir tag-system turing-completeness

Last synced: 11 Jan 2026

https://github.com/chnicoloso/llm-universality

A simple program to demonstrate the universality of a general-purpose LLM

rule110 turing-completeness universality

Last synced: 17 Feb 2026