An interpreter for learning and exploring pure λ-calculus

• UpdatedApr 11, 2021
• Haskell

The lecture notes for my discrete mathematics classes.

• UpdatedJul 10, 2023
• TeX

Aulas, exercícios e resumos das matérias: Introdução à Informática e Teoria da Computação.

• UpdatedOct 29, 2025
• Python

Tools for finding and analyzing Busy Beaver programs for Turing machines

• UpdatedNov 26, 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

A cunning interpreter for the pure untyped λ-calculus.

• UpdatedNov 21, 2025
• Haskell

Zusammenfassung zu den Modulen Theoretische Informatik 1 bis 3 an der Universität Stuttgart

• UpdatedFeb 28, 2019
• TeX

• UpdatedOct 31, 2022
• TeX

A C++ library for simulation of the General Purpose Analog Computer model

• UpdatedMar 27, 2018
• C++

Python implementations of a variety of extremely fast-growing functions

• UpdatedOct 25, 2022
• Python

Pure Julia implementation of tools used in Computability Theory

• UpdatedNov 29, 2025
• Julia

Martin D. Davis book programming language written in python

• UpdatedJan 14, 2019
• Python

A prototype interpreter for code for a one-tape Turing machine.

• UpdatedMay 29, 2018
• Python

Computability Theory of Computations, Displaying a Turing Machine, a Mathematical Model of Computation that Manipulates Symbols on an Infinite Strip of Tape.

• UpdatedJul 27, 2025
• Rust

A library for studying primitive recursive functions with Kotlin.

• UpdatedSep 26, 2025
• Kotlin

An interactive Kotlin editor for the REFUNK library.

• UpdatedSep 26, 2025
• HTML

Note du cours INFO-F-408: Computability & Complexity

• UpdatedJan 9, 2018
• TeX

• UpdatedSep 17, 2021
• Python

записки по курса ,,Машини, Езици, Сложност и Изчислимост"

• UpdatedJan 17, 2020
• TeX

RAM simulator for university course "Izračunljivost".

• UpdatedFeb 19, 2021
• JavaScript