Here are
20 public repositories
matching this topic...
An interpreter for learning and exploring pure λ-calculus
-
Updated
Apr 11, 2021
-
Haskell
The lecture notes for my discrete mathematics classes.
Aulas, exercícios e resumos das matérias: Introdução à Informática (INE5602) e Teoria da Computação.
A C++ library for simulation of the General Purpose Analog Computer model
An interactive Kotlin editor for the REFUNK library.
-
Updated
May 11, 2021
-
HTML
Zusammenfassung zu den Modulen Theoretische Informatik 1 bis 3 an der Universität Stuttgart
A library for studying primitive recursive functions with Kotlin.
-
Updated
May 10, 2021
-
Kotlin
Pure Julia implementation of tools used in Computability Theory
-
Updated
Jan 28, 2021
-
Julia
A prototype interpreter for code for a one-tape Turing machine.
-
Updated
May 29, 2018
-
Python
записки по курса ,,Машини, Езици, Сложност и Изчислимост"
Note du cours INFO-F-408: Computability & Complexity
A Book "Mathematics for Computer Science: A Historical Perspective"
Web-based interpreter for the LOOP, WHILE, and GOTO programming languages
-
Updated
Jun 3, 2021
-
JavaScript
😈 quine (self replicating) programs implemented in C and JS. 💥
Program to convert a program encoding based on its Gödel number to 𝒮 Language (S Language) or convert an 𝒮 Language program to it's program number
-
Updated
Aug 4, 2021
-
Python
RAM simulator for university course "Izračunljivost".
-
Updated
Feb 19, 2021
-
JavaScript
A website that turns Python3 programs into self-reproducing programs
-
Updated
May 28, 2020
-
JavaScript
Martin D. Davis book programming language written in python
-
Updated
Jan 14, 2019
-
Python
Improve this page
Add a description, image, and links to the
computability-theory
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
computability-theory
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.