GitHub topics: computability

Repositories

shilangyu/ram-runner

A simple interpreter for the mathematical random-access machine

Language: Rust - Size: 1.22 MB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 6 - Forks: 0

DerYeger/refunk-playground

An interactive Kotlin editor for the REFUNK library.

Language: HTML - Size: 368 KB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0

DerYeger/refunk

A library for studying primitive recursive functions with Kotlin.

Language: Kotlin - Size: 721 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0

lucaazalim/teoria-dos-grafos

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.

Size: 4.74 MB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 8 - Forks: 0

lmoss/lmoss.github.io

Computability Theory textbook

Language: Jupyter Notebook - Size: 20.8 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0

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

Size: 150 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 7 - Forks: 0

slovnicki/pLam

An interpreter for learning and exploring pure λ-calculus

Language: Haskell - Size: 1.1 MB - Last synced at: 6 months ago - Pushed at: over 4 years ago - Stars: 460 - Forks: 17

Shweta31410/Turing-Machine-Project

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

Language: Python - Size: 5.86 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

schependom/KULAK_automaten-en-berekenbaarheid

Additional LaTeX material for the course Automaten en Berekenbaarheid (2nd year Computer Science @ KU Leuven Kulak)

Language: TeX - Size: 2.48 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

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

Language: C++ - Size: 14.6 KB - Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

teschiopol/clf

CLF Exam

Language: Shell - Size: 71.3 KB - Last synced at: 4 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

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.

Language: Python - Size: 8.79 KB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

theoden8/emu-automaton

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

Language: C++ - Size: 19.3 MB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

caglayandev/pi

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

Language: C++ - Size: 1.52 MB - Last synced at: 3 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

SergioMelladoMartin/Computability

Language: C++ - Size: 1.63 MB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

pokorj54/Register-Machine

Implementation of a model of computation - Register machine

Language: Python - Size: 19.5 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

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.

Language: C++ - Size: 35.2 KB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0