Skip to content

Pure Julia implementation of tools used in Computability Theory

License

Notifications You must be signed in to change notification settings

jakewilliami/ComputabilityTheory.jl

Repository files navigation

ComputabilityTheory.jl

Dev CI Code Style: Blue Project Status

This is a minimal package for a pure Julia implementation of tools used in 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?