An interpreter for learning and exploring pure λ-calculus
Material for the Tutoring of the Computability Course for the M.Sc. in Computer Science held at UniPD in 2024-2025
A simple interpreter for the mathematical random-access machine
Exercícios e resumos elaborados para a disciplina de Teoria dos Grafos e Computabilidade do 4º período do curso de graduação em Engenharia de Software da PUC Minas.
An interactive Kotlin editor for the REFUNK library.
A library for studying primitive recursive functions with Kotlin.
Experiment around natural language and random UTF encoded streams
RAM simulator for university course "Izračunljivost".
Some programs written in WHILE using hWhile interpreter
A Python-based project exploring Decidability and Undecidability using Turing Machine simulations
20 hours of Theoretical Computer Science
Emulator that uses the power of OpenGL to breed digital life forms.
Implementation of a model of computation - Register machine
RAM emulator utilizing C++ language modification that utilizes a preprocessor allowing you to use Random Access Machine instructions in C++ which essentially makes it a RAM emulator...
This repository contains some of the exercises developed for Computability's course [GIISOF01-2-005] at [EII] (UniOvi) during 2019-2020's course.
CSC Computational Complexity Computability 编程辅导, Code Help, WeChat: powcoder, CS tutor, powcoder@163.com
Add a description, image, and links to the computability topic page so that developers can more easily learn about it.
To associate your repository with the computability topic, visit your repo's landing page and select "manage topics."