computability
There are 23 repositories under computability topic.
slovnicki/pLam
An interpreter for learning and exploring pure λ-calculus
gabrielrovesti/Computability-Tutoring-2024-2025
Material for the Tutoring of the Computability Course for the M.Sc. in Computer Science held at UniPD in 2024-2025
shilangyu/ram-runner
A simple interpreter for the mathematical random-access machine
DerYeger/refunk
A library for studying primitive recursive functions with Kotlin.
DerYeger/refunk-playground
An interactive Kotlin editor for the REFUNK library.
JestVA/shakespeare-script
Experiment around natural language and random UTF encoded streams
lmoss/lmoss.github.io
Computability Theory textbook
nesto123/RAM_simulator
RAM simulator for university course "Izračunljivost".
SasankYadati/20HoursOfTCS
20 hours of Theoretical Computer Science
YashMagane/While-Programs
Some programs written in WHILE using hWhile interpreter
oliverbaumbach/LooPy
Python ncurses LOOP/WHILE Program Simulator
pokorj54/Register-Machine
Implementation of a model of computation - Register machine
SimplyProgrammer/Ram4Cpp
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...
theoden8/emu-automaton
Emulator that uses the power of OpenGL to breed digital life forms.
Ainiall/Computabilidad
This repository contains some of the exercises developed for Computability's course [GIISOF01-2-005] at [EII] (UniOvi) during 2019-2020's course.
jiriklepl/NTIN090
A repository containing solutions to assignments for MFF/NTIN090
onurmx/pi
Calculating digits of pi with arbitrary size and find pattern inside.
paxtonproctor/2433-DiscreteStructures
Introduction to the fundamental techniques of algorithm analysis. Also, Boolean logic, combinatorics, functions, graphs, algebraic structures, recursion, recurrence relations, finite state machines, and computability.
powcoder/An-Introduction-to-Computability-Theory
An Computability 编程辅导, Code Help, WeChat: powcoder, CS tutor, powcoder@163.com
powcoder/CSC-463-Computational-Complexity-and-Computability
CSC Computational Complexity Computability 编程辅导, Code Help, WeChat: powcoder, CS tutor, powcoder@163.com
teschiopol/clf
CLF Exam