Published August 17, 2022
| Version release1.0
Software
Open
OriRoth/python-typing-machines: Python Typing Machines 1.0
Creators
Description
- Python re-implementation of Grigore's subtyping machines algorithm
- Implementation of my new encoding algorithm, which simulates the Turing machines in real time
- A simple application for running the algorithms
- A comparative experiment between the two algorithms
Files
OriRoth/python-typing-machines-release1.0.zip
Files
(11.8 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:aa8aca948b987ee466a50a2cd0382eda
|
11.8 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/OriRoth/python-typing-machines/tree/release1.0 (URL)