An interpreter for learning and exploring pure λ-calculus

CLF Exam

An interactive Kotlin editor for the REFUNK library.

Implementation of a model of computation - Register machine

Experiment around natural language and random UTF encoded streams

This repository contains some of the exercises developed for Computability's course [GIISOF01-2-005] at [EII] (UniOvi) during 2019-2020's course.

Computability Theory textbook

RAM simulator for university course "Izračunljivost".

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

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

Python ncurses LOOP/WHILE Program Simulator

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

A library for studying primitive recursive functions with Kotlin.

A repository containing solutions to assignments for MFF/NTIN090

Calculating digits of pi with arbitrary size and find pattern inside.

Some programs written in WHILE using hWhile interpreter

An Computability 编程辅导, Code Help, WeChat: powcoder, CS tutor, powcoder@163.com

20 hours of Theoretical Computer Science