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

Pure Julia implementation of tools used in Computability Theory
https://github.com/jakewilliami/computabilitytheory.jl

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

Last synced: 13 days ago
JSON representation

Pure Julia implementation of tools used in Computability Theory

• Host: GitHub
• URL: https://github.com/jakewilliami/computabilitytheory.jl
• Owner: jakewilliami
• License: mit
• Created: 2020-10-05T21:25:37.000Z (about 4 years ago)
• Default Branch: master
• Last Pushed: 2024-04-13T02:12:04.000Z (7 months ago)
• Last Synced: 2024-04-14T01:05:15.999Z (7 months ago)
• Topics: computability-theory, goto, goto-program, goto-programme, julia, julia-language, julia-package, julialang, math, mathematics, maths, turing-machine, turing-machine-simulator
• Language: Julia
• Homepage:
• Size: 927 KB
• Stars: 3
• Watchers: 2
• Forks: 1
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        


    ComputabilityTheory.jl



[![Dev](https://img.shields.io/badge/docs-dev-blue.svg)](https://jakewilliami.github.io/ComputabilityTheory.jl/dev)

[![CI](https://github.com/invenia/PkgTemplates.jl/workflows/CI/badge.svg)](https://github.com/jakewilliami/ComputabilityTheory.jl/actions?query=workflow%3ACI)

[![Code Style: Blue](https://img.shields.io/badge/code%20style-blue-4495d1.svg)](https://github.com/invenia/BlueStyle)

![Project Status](https://img.shields.io/badge/status-maturing-green)

This is a minimal package for a pure Julia implementation of tools used in [Computability Theory](https://en.wikipedia.org/wiki/Computability_theory).  This is the science involving mathematical models of what it means to compute.  This naturally progresses to the idea of complexity: how much memory is used in computing?  How long will it take?  Does it halt?

## Citation

If your research depends on ComputabilityTheory.jl, please consider giving us a formal citation: [`citation.bib`](./citation.bib).