swansea-theory/swansea-theory.github.io

Swansea University Theoretical Computer Science Group

Language: HTML - Size: 175 MB - Last synced at: about 7 hours ago - Pushed at: about 8 hours ago - Stars: 1 - Forks: 0

nickdrozd/busy-beaver-stuff

Tools for finding and analyzing Busy Beaver programs for Turing machines

Language: Python - Size: 14.7 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 12 - Forks: 1

brunocampos01/teoria-da-computacao

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

Language: Python - Size: 40.6 MB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 14 - 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

severen/sly

A cunning interpreter for the pure untyped λ-calculus.

Language: Haskell - Size: 86.9 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 5 - 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

NaveenMaurya749/AutomataLean

This project aims to formalize some concepts of Automata Theory and Parsing into Lean4 Theorem Prover. This was a course project for the course 'Proofs and Programs' offered by Prof Siddhartha Gadgil at IISc, Spring 2025.

Language: Lean - Size: 18.6 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

helcsnewsxd/famaf-computer_science-formal_languages_and_computability 📦

Prácticos y teórico de la materia de Lenguajes Formales y Computabilidad de la Licenciatura en Ciencias de la Computación de FAMAF (UNC)

Size: 7.83 MB - Last synced at: 9 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

Tony0380/Computability

A Java program that can emulate various computational models

Language: Java - Size: 194 KB - Last synced at: 5 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

DenverCoder1/godel-program-converter

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

Language: Python - Size: 53.7 KB - Last synced at: 4 months ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 1

krichelj/QC_BGU_2020

Quantum Computing course, Computer Science M.Sc., Ben Gurion University of the Negev, 2020

Size: 1.08 MB - Last synced at: 9 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

dbseitenfus/reversible-turing-machine-simulator

Este projeto é um simulador de uma Máquina de Turing Reversível. Ele executa simulações de autômatos baseados em quíntuplas, que são convertidos em quádruplas para garantir reversibilidade lógica.

Language: Python - Size: 13.7 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

jakewilliami/ComputabilityTheory.jl

Pure Julia implementation of tools used in Computability Theory

Language: Julia - Size: 1.61 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 3 - Forks: 1

krichelj/ALIO_BGU_2020

Automata and Logic on Infinite Objects course, Computer Science M.Sc., Ben Gurion University, 2020

Size: 611 KB - Last synced at: 5 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

slaytanic87/turingmachine

Turing machine simulator

Language: Java - Size: 250 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

SerenGTI/Theo_Inf

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

Language: TeX - Size: 9.13 MB - Last synced at: 6 months ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 0

jchenche/Quinifier

A website that turns Python3 programs into self-reproducing programs

Language: JavaScript - Size: 177 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

alirezaafzalaghaei/s-programming-language

Martin D. Davis book programming language written in python

Language: Python - Size: 39.1 KB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 3 - Forks: 0

zezit/graphs

Este repositório foi criado para armazenar todos os códigos relacionados à matéria de Teoria dos Grafos e Computabilidade do curso de Engenharia de Software na PUC-Minas. Aqui você encontrará duas pastas principais: "Teoria dos Grafos" e "Computabilidade".

Size: 2.93 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

JacobDreiling/googology

Python implementations of a variety of extremely fast-growing functions

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

JacobDreiling/ordinals

Implementation of computable ordinals below the Small Veblen Ordinal

Language: Python - Size: 2.93 KB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

JacobDreiling/Busy-Beaver-of-18

Language: Python - Size: 1.95 KB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

alexanderknop/I2DM

The lecture notes for my discrete mathematics classes.

Language: TeX - Size: 56.2 MB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 16 - Forks: 5

huidr/toc

Notes for theory of computation

Language: TeX - Size: 354 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

IuraCPersonal/cc 📦

👩‍🔬Computability and Complexity

Language: TeX - Size: 3.36 MB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - 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

flebeau/GPAClib

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

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

vedgar/izr

Language: TeX - Size: 17.6 MB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 0

nesto123/RAM_simulator

RAM simulator for university course "Izračunljivost".

Language: JavaScript - Size: 27.3 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

detobel36/ComputabilityComplexity

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

Language: TeX - Size: 6.33 MB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0

tniessen/loop-while-goto

Web-based interpreter for the LOOP, WHILE, and GOTO programming languages

Language: JavaScript - Size: 58.6 KB - Last synced at: 5 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

stefk0/mesi

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

Language: TeX - Size: 25.4 KB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

abarriel/Dr-Quine

:smiling_imp: quine (self replicating) programs implemented in C and JS. :collision:

Language: C - Size: 1.95 KB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

hengxin/math4cs-historical-perspective

A Book "Mathematics for Computer Science: A Historical Perspective"

Language: TeX - Size: 64.5 KB - Last synced at: 3 months ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0