slovnicki/pLam

An interpreter for learning and exploring pure λ-calculus

Language: Haskell - Size: 1.1 MB - Last synced at: 8 days ago - Pushed at: about 4 years ago - Stars: 455 - Forks: 17

alexanderknop/I2DM

The lecture notes for my discrete mathematics classes.

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

brunocampos01/teoria-da-computacao

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

Language: Python - Size: 39.7 MB - Last synced at: 29 days ago - Pushed at: about 3 years ago - Stars: 14 - Forks: 0

nickdrozd/busy-beaver-stuff

Tools for finding and analyzing Busy Beaver programs for Turing machines

Language: Python - Size: 15.5 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 11 - Forks: 2

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: 86.5 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 7 - Forks: 0

severen/sly

A cunning interpreter for the pure untyped λ-calculus.

Language: Haskell - Size: 84 KB - Last synced at: 21 days ago - Pushed at: 28 days ago - Stars: 5 - 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: 3 months ago - Pushed at: about 6 years ago - Stars: 5 - Forks: 0

flebeau/GPAClib

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

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

jakewilliami/ComputabilityTheory.jl

Pure Julia implementation of tools used in Computability Theory

Language: Julia - Size: 1.38 MB - Last synced at: about 7 hours ago - Pushed at: about 9 hours ago - Stars: 3 - Forks: 1

vedgar/izr

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

alirezaafzalaghaei/s-programming-language

Martin D. Davis book programming language written in python

Language: Python - Size: 39.1 KB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 3 - 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: 2 months ago - Pushed at: 10 months ago - Stars: 2 - Forks: 0

DerYeger/refunk-playground

An interactive Kotlin editor for the REFUNK library.

Language: HTML - Size: 365 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0

DerYeger/refunk

A library for studying primitive recursive functions with Kotlin.

Language: Kotlin - Size: 718 KB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 2 - 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: 2 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1

JacobDreiling/Busy-Beaver-of-18

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

nesto123/RAM_simulator

RAM simulator for university course "Izračunljivost".

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

stefk0/mesi

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

Language: TeX - Size: 25.4 KB - Last synced at: about 2 years ago - Pushed at: over 5 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: about 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

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: 10 days ago - Pushed at: 10 days ago - Stars: 0 - Forks: 0

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: 2 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

Tony0380/Computability

A Java program that can emulate various computational models

Language: Java - Size: 108 KB - Last synced at: 6 months ago - Pushed at: 6 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: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

slaytanic87/turingmachine

Turing machine simulator

Language: Java - Size: 250 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - 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 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

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: 2 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

IuraCPersonal/cc 📦

👩‍🔬Computability and Complexity

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

huidr/toc

Notes for theory of computation

Language: TeX - Size: 354 KB - Last synced at: about 2 years ago - Pushed at: over 2 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: about 2 years ago - Pushed at: almost 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: almost 2 years ago - Pushed at: over 3 years ago - Stars: 0 - 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: about 2 months ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

jchenche/Quinifier

A website that turns Python3 programs into self-reproducing programs

Language: JavaScript - Size: 177 KB - Last synced at: about 1 year ago - Pushed at: almost 5 years ago - Stars: 0 - 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: almost 2 years ago - Pushed at: over 7 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: over 7 years ago - Stars: 0 - Forks: 0