projects / helm.git / tree
| -rw-r--r-- | 11615 | basic_machines.ma | blob | raw |
| -rw-r--r-- | 2531 | complexity.ma | blob | raw |
| -rw-r--r-- | 19608 | if_machine.ma | blob | raw |
| -rw-r--r-- | 20790 | if_multi.ma | blob | raw |
| -rw-r--r-- | 6400 | inject.ma | blob | raw |
| -rw-r--r-- | 21802 | mono.ma | blob | raw |
| -rw-r--r-- | 11604 | move_char.ma | blob | raw |
| drwxr-xr-x | - | multi_universal | tree |
| -rw-r--r-- | 4196 | ntm.ma | blob | raw |
| -rw-r--r-- | 3146 | oracle.ma | blob | raw |
| -rw-r--r-- | 18785 | turing.ma | blob | raw |
| -rw-r--r-- | 3743 | turing_old.ma | blob | raw |
| -rw-r--r-- | 8253 | universal.ma | blob | raw |
| drwxr-xr-x | - | universal | tree |
| -rw-r--r-- | 7432 | while_machine.ma | blob | raw |
| -rw-r--r-- | 7674 | while_multi.ma | blob | raw |
| -rw-r--r-- | 13526 | wmono.ma | blob | raw |