severen/turing-tarpit severen/turing-tarpit

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    TypeScript
  • License
    Other
  • Created about 2 years ago
  • Updated 11 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
severen/turing-tarpit
github

severen

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

confmacs

A small tool for managing Emacs configurations.
Ruby
15
star
2

LICENSE.md

Markdown formatted software licenses.
14
star
3

dotfiles

My personal configuration files and scripts.
GLSL
6
star
4

sly

A cunning interpreter for the pure untyped 位-calculus.
Haskell
4
star
5

tutil

A toolbox for developing command line applications with Rust.
Rust
2
star
6

xturtle

A Scheme-controlled turtle graphics program for Linux/X11.
C++
1
star
7

luna

A hobby implementation of Scheme (R鈦稲S) for fun and great profit!
Rust
1
star
8

pwned

A command line interface to check if your online accounts have been possibly compromised.
Python
1
star