https://github.com/jakewilliami/computabilitytheory.jl

Pure Julia implementation of tools used in Computability Theory

computability-theory goto goto-program goto-programme julia julia-language julia-package julialang math mathematics maths turing-machine turing-machine-simulator

Last synced: 07 May 2025