https://github.com/severen/turing-tarpit

An educational environment for exploring automata, Turing machines, and the λ-calculus.
https://github.com/severen/turing-tarpit

automata-theory educational lambda-calculus svelte turing-machine webapp

Last synced: 4 days ago
JSON representation

An educational environment for exploring automata, Turing machines, and the λ-calculus.

• Host: GitHub
• URL: https://github.com/severen/turing-tarpit
• Owner: severen
• License: other
• Created: 2022-11-22T03:51:26.000Z (almost 2 years ago)
• Default Branch: master
• Last Pushed: 2023-12-23T07:28:10.000Z (11 months ago)
• Last Synced: 2024-03-19T06:30:42.689Z (8 months ago)
• Topics: automata-theory, educational, lambda-calculus, svelte, turing-machine, webapp
• Language: TypeScript
• Homepage: https://tarpit.severen.dev
• Size: 611 KB
• Stars: 3
• Watchers: 2
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        


# Turing Tarpit

> Beware of the Turing tarpit in which everything is possible, but nothing of interest is

> easy.

The Turing Tarpit is an interactive environment for exploring constructs often

taught in an undergraduate course on the theory of computation.

CAVEAT EMPTOR: This is currently work-in-progress software.