computability

Here are 10 public repositories matching this topic...

slovnicki / pLam

Star

An interpreter for learning and exploring pure λ-calculus

language programming-language lambda interpreter functional-programming lambda-calculus church church-encoding logic-programming numeral-systems computability-theory computability

Updated Apr 11, 2021
Haskell

DerYeger / refunk-playground

Star

An interactive Kotlin editor for the REFUNK library.

kotlin math recursion recursive-functions math-library primitive-recursive-functions computability-theory computability

Updated May 11, 2021
HTML

DerYeger / refunk

Star

A library for studying primitive recursive functions with Kotlin.

kotlin math recursion recursive-functions math-library primitive-recursive-functions computability-theory computability

Updated May 10, 2021
Kotlin

JestVA / shakespeare-script

Star

Experiment around natural language and random UTF encoded streams

nodejs automata state-machine binary information-theory bytes streams reality turing shakespeare cantor finite computability halting-problem debroille set-therory infinite-string monkeys-can-type digital-reality

Updated May 31, 2020
JavaScript

SasankYadati / 20HoursOfTCS

Star

20 hours of Theoretical Computer Science

theoretical-computer-science complexity-theory computability

Updated Jun 4, 2020
Python

nesto123 / RAM_simulator

Star

RAM simulator for university course "Izračunljivost".

java html ram computability-theory computability

Updated Feb 19, 2021
JavaScript

Ainiall / Computabilidad

Star

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

python university turing-machine turing universidad oviedo eii computability universidad-de-oviedo computabilidad giisof01-2-005

Updated Feb 5, 2021
Python

theoden8 / emu-automaton

Star

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

game-of-life cpp cellular-automata cpp17 determinism rule110 computability

Updated Dec 22, 2019
C++

oliverbaumbach / LooPy

Star

Python ncurses LOOP/WHILE Program Simulator

simulator tui ncurses debugger-visualizer computability

Updated Dec 8, 2020
Python

jiriklepl / NTIN090

Star

A repository containing solutions to assignments for MFF/NTIN090

complexity not-interesting-for-anybody mff-uk computability

Updated May 19, 2021
TeX

Improve this page

Add a description, image, and links to the computability 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 topic, visit your repo's landing page and select "manage topics."

Learn more