gitlab.com topics: computability
theoden8/automata-emulator
Emulating cellular automata.
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
deepnet42/urm
The Unlimited Register Machine (URM) as implemented per specification from *Computability: An introduction to recursive function theory* by N.J. Cutland. This is a modification of machine originally based on Shepherdson and Sturgis's model (1963).
Last synced at: almost 3 years ago - Stars: 0 - Forks: 0
