An interpreter for learning and exploring pure λ-calculus

• UpdatedApr 11, 2021
• Haskell

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.

• UpdatedSep 11, 2024

A simple interpreter for the mathematical random-access machine

• UpdatedNov 2, 2025
• Rust

Material for the Tutoring of the Computability Course for the M.Sc. in Computer Science held at UniPD in 2024-2025

• UpdatedJun 25, 2025

An interactive Kotlin editor for the REFUNK library.

• UpdatedSep 26, 2025
• HTML

A library for studying primitive recursive functions with Kotlin.

• UpdatedSep 26, 2025
• Kotlin

• UpdatedOct 15, 2023
• HTML

Experiment around natural language and random UTF encoded streams

• UpdatedMay 31, 2020
• JavaScript

RAM simulator for university course "Izračunljivost".

• UpdatedFeb 19, 2021
• JavaScript

A Python-based project exploring Decidability and Undecidability using Turing Machine simulations

• UpdatedApr 13, 2025
• Python

Computability Theory textbook

• UpdatedNov 25, 2025
• Jupyter Notebook

Some programs written in WHILE using hWhile interpreter

• UpdatedSep 13, 2024

• UpdatedDec 15, 2022
• C++

20 hours of Theoretical Computer Science

• UpdatedJun 4, 2020
• Python

Implementation of a model of computation - Register machine

• UpdatedMay 26, 2022
• Python

Emulator that uses the power of OpenGL to breed digital life forms.​

• UpdatedOct 12, 2024
• C++

CLF Exam

• UpdatedSep 10, 2024
• Shell

Introduction to the fundamental techniques of algorithm analysis. Also, Boolean logic, combinatorics, functions, graphs, algebraic structures, recursion, recurrence relations, finite state machines, and computability.

• UpdatedNov 17, 2021
• C++

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...

• UpdatedSep 18, 2024
• C++

Python ncurses LOOP/WHILE Program Simulator

• UpdatedDec 8, 2020
• Python