Projects in Awesome Lists tagged with computability-theory
A curated list of projects in awesome lists tagged with computability-theory .
https://github.com/slovnicki/pLam
An interpreter for learning and exploring pure λ-calculus
church church-encoding computability computability-theory functional-programming interpreter lambda lambda-calculus language logic-programming numeral-systems programming-language
Last synced: 06 May 2025
https://github.com/slovnicki/plam
An interpreter for learning and exploring pure λ-calculus
church church-encoding computability computability-theory functional-programming interpreter lambda lambda-calculus language logic-programming numeral-systems programming-language
Last synced: 06 Apr 2025
https://github.com/brunocampos01/teoria-da-computacao
Aulas, exercícios e resumos das matérias: Introdução à Informática e Teoria da Computação.
computability-theory context-free-grammar finite-automata ine ine5602 pt-br pumping-lemma reduction suffix-tries turing-machine ufsc
Last synced: 15 Apr 2025
https://github.com/nickdrozd/busy-beaver-stuff
Tools for finding and analyzing Busy Beaver programs for Turing machines
busy-beaver computability-theory turing-machine
Last synced: 22 Mar 2025
https://github.com/serengti/theo_inf
Zusammenfassung zu den Modulen Theoretische Informatik 1 bis 3 an der Universität Stuttgart
automata-theory complexity-theory computability-theory formal-languages theoretical-computer-science
Last synced: 24 Jan 2026
https://github.com/severen/sly
A cunning interpreter for the pure untyped λ-calculus.
computability-theory functional-programming haskell interpreter lambda-calculus language programming-language programming-language-theory
Last synced: 23 Apr 2025
https://github.com/jakewilliami/computabilitytheory.jl
Pure Julia implementation of tools used in Computability Theory
computability-theory goto goto-program goto-programme julia julia-language julia-package julialang math mathematics maths turing-machine turing-machine-simulator
Last synced: 07 May 2025
https://github.com/deryeger/refunk
A library for studying primitive recursive functions with Kotlin.
computability computability-theory kotlin math math-library primitive-recursive-functions recursion recursive-functions
Last synced: 03 Apr 2025
https://github.com/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-theory famaf-unc theory-of-computation
Last synced: 28 Feb 2025
https://github.com/deryeger/refunk-playground
An interactive Kotlin editor for the REFUNK library.
computability computability-theory kotlin math math-library primitive-recursive-functions recursion recursive-functions
Last synced: 13 Oct 2025
https://github.com/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
code-generation computability-theory computer-science godel-numbering theory-of-computation
Last synced: 04 Aug 2025
https://github.com/krichelj/qc_bgu_2020
Quantum Computing course, Computer Science M.Sc., Ben Gurion University of the Negev, 2020
algorithms calculus circuit-simulation complex-numbers complexity-theory computability-theory computer-science convolution discrete-fourier-transform grovers-algorithm linear-algebra linear-equation-solver matrix-algebra quantum-computing qubit search-algorithms shors-algorithm sorting-algorithms
Last synced: 02 Mar 2026
https://github.com/hengxin/math4cs-historical-perspective
A Book "Mathematics for Computer Science: A Historical Perspective"
book computability-theory computer-science cs-math historical-perspective math4cs mathematical-logic set-theory
Last synced: 12 Feb 2026
https://github.com/tniessen/loop-while-goto
Web-based interpreter for the LOOP, WHILE, and GOTO programming languages
computability-theory interpreter programming-languages theoretical-computer-science
Last synced: 04 Jul 2025
https://github.com/krichelj/alio_bgu_2020
Automata and Logic on Infinite Objects course, Computer Science M.Sc., Ben Gurion University, 2020
automata computability-theory computer-science formal-languages formal-logic formal-methods formal-verification homework infinite logic temporal-logic
Last synced: 19 Mar 2026