ComputabilityTheory.jl
Pure Julia implementation of tools used in Computability Theory
MIT License
Stars
3
Committers
1
Ecosystems:
The Julia Language
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?
Citation
If your research depends on ComputabilityTheory.jl, please consider giving us a formal citation: citation.bib.
Package Rankings
Top 35.53% on Juliahub.com
Badges
Extracted from project README
