ComputabilityTheory.jl

Pure Julia implementation of tools used in Computability Theory
Author jakewilliami
Popularity
3 Stars
Updated Last
3 Months Ago
Started In
October 2020

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?