computability-theory

There are 1 repository under computability-theory topic.

• slovnicki / pLam

  An interpreter for learning and exploring pure λ-calculus

  churchchurch-encodingcomputabilitycomputability-theoryfunctional-programminginterpreterlambdalambda-calculuslanguagelogic-programmingnumeral-systemsprogramming-language
  Language:Haskell 451
• I2DM

  alexanderknop / I2DM

  The lecture notes for my discrete mathematics classes.

  lecture-notesmathematical-reasoningcombinatoricsmathematical-logiccomputability-theorycombinatorial-game-theorygraph-theoryprobability-theorygame-theoryset-theory
  Language:TeX 18

• brunocampos01 / teoria-da-computacao

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

  ufscine5602computability-theoryturing-machinecontext-free-grammarfinite-automatapumping-lemmapt-brsuffix-triesreductionine
  Language:Python 13
• busy-beaver-stuff

  nickdrozd / busy-beaver-stuff

  Tools for finding and analyzing Busy Beaver programs for Turing machines

  turing-machinecomputability-theorybusy-beaver
  Language:Python 11

• 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

  computabilitycomputability-theorycomputer-sciencemaster-degreeunipd
  7

• SerenGTI / Theo_Inf

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

  theoretical-computer-scienceformal-languagesautomata-theorycomplexity-theorycomputability-theory
  Language:TeX 5

• severen / sly

  A cunning interpreter for the pure untyped λ-calculus.

  haskellinterpreterlambda-calculuscomputability-theoryfunctional-programmingprogramming-languageprogramming-language-theorylanguage
  Language:Haskell 5

• vedgar / izr

  computability-theoryturing-machineprimitive-recursive-functionsrecursive-functionssmnrisc-architecture-processordecidabilityenumeratormetaprogrammingreductionsmacro-processor
  Language:TeX 5

• flebeau / GPAClib

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

  analog-circuitcircuitgpacsimulationcomputability-theory
  Language:C++ 4

• alirezaafzalaghaei / s-programming-language

  Martin D. Davis book programming language written in python

  pythoninterpretercompilerpython-3computability-theoryprogramming-language
  Language:Python 3

• jakewilliami / ComputabilityTheory.jl

  Pure Julia implementation of tools used in Computability Theory

  computability-theoryjuliamathmathematicsmathsjulia-languagejulialangjulia-packagegototuring-machineturing-machine-simulatorgoto-programmegoto-program
  Language:Julia 3
• refunk

  DerYeger / refunk

  A library for studying primitive recursive functions with Kotlin.

  kotlinprimitive-recursive-functionsrecursive-functionsrecursioncomputability-theorycomputabilitymath-librarymath
  Language:Kotlin 2
• refunk-playground

  DerYeger / refunk-playground

  An interactive Kotlin editor for the REFUNK library.

  kotlinmathrecursionrecursive-functionsmath-libraryprimitive-recursive-functionscomputability-theorycomputability
  Language:HTML 2

• 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)

  computability-theoryfamaf-unctheory-of-computation
  2

• tychonievichm / Turing_Interpreter

  A prototype interpreter for code for a one-tape Turing machine.

  turing-machineturing-machine-simulatorcomputability-theorytape-turing-machineprototype-interpretererdos-institute
  Language:Python 2

• 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

  computability-theorycomputer-sciencegodel-numberingcode-generationtheory-of-computation
  Language:Python 1

• detobel36 / ComputabilityComplexity

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

  ulbcomputability-theorycomplexityinfo-f408
  Language:TeX 1

• JacobDreiling / Busy-Beaver-of-18

  computability-theorybusy-beaverturing-machinebig-numbers
  Language:Python 1

• JacobDreiling / googology

  Python implementations of a variety of extremely fast-growing functions

  mathematicsgoogologybig-numberscode-golfcomputability-theory
  Language:Python 1

• JacobDreiling / ordinals

  Implementation of computable ordinals below the Small Veblen Ordinal

  mathematicstransfinitecomputability-theory
  Language:Python 1

• nesto123 / RAM_simulator

  RAM simulator for university course "Izračunljivost".

  ramjavahtmlcomputability-theorycomputability
  Language:JavaScript 1

• stefk0 / mesi

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

  turing-machinecomplexity-theoryformal-languagescomputability-theoryteaching-materials
  Language:TeX 1

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

  automata-theorycomputability-theorycomputer-theorypythonreversible-computationturing-machine
  Language:Python 0

• IuraCPersonal / cc

  𝙵𝙰𝙵 𝙲𝚘𝚖𝚙𝚞𝚝𝚊𝚋𝚒𝚕𝚒𝚝𝚢 𝚊𝚗𝚍 𝙲𝚘𝚖𝚙𝚕𝚎𝚡𝚒𝚝𝚢

  complexity-analysiscomputability-theorypythonalgorithms-and-data-structures
  Language:TeX 0

• jchenche / Quinifier

  A website that turns Python3 programs into self-reproducing programs

  quinecomputability-theoryreact
  Language:JavaScript 0

• krichelj / ALIO_BGU_2020

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

  automatahomeworkinfinitelogiccomputability-theorycomputer-scienceformal-languagesformal-logicformal-methodsformal-verificationtemporal-logic
  0

• krichelj / QC_BGU_2020

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

  calculuscomplexity-theorycomputability-theorycomputer-sciencelinear-algebraquantum-computingqubitshors-algorithmconvolutiondiscrete-fourier-transformcomplex-numbersmatrix-algebralinear-equation-solvercircuit-simulationgrovers-algorithmsearch-algorithmssorting-algorithmsalgorithms
  0

• LydiaKe / NFA_to_DFA

  A simple program implementing NFA to DFA conversion. 一个实现NFA到DFA转换的简单程序。

  automatoncomputability-theory
  Language:Python 0

• pokorj54 / Register-Machine

  Implementation of a model of computation - Register machine

  computabilitycomputability-theorycomputer-science
  Language:Python 0

• slaytanic87 / turingmachine

  Turing machine simulator

  turing-machinetheoretical-computer-sciencestate-machinecomputability-theoryeducation
  Language:Java 0

• software-engineering-graduation / 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".

  computability-theorycppgraph-algorithmsgraphsgraphs-theory
  Language:C++ 0

• tniessen / loop-while-goto

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

  theoretical-computer-scienceprogramming-languagesinterpretercomputability-theory
  Language:JavaScript 0

• Tony0380 / Computability

  A Java program that can emulate various computational models

  dfanfaturingcomputability-theorynfa-to-dfa-conversionthompson-algorithmturing-machine
  Language:Java 0

• abarriel / Dr-Quine

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

  quinecomputability-theoryself-replicatingcjs42
  Language:C

• hengxin / math4cs-historical-perspective

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

  cs-mathmath4cshistorical-perspectiveset-theorymathematical-logiccomputability-theorycomputer-sciencebook
  Language:TeX