Projects in Awesome Lists tagged with theoretical-computer-science

https://github.com/bitkeks/theolog-ss2017

Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten

german lecture-notes logic theoretical-computer-science university

Last synced: 28 Jan 2026

https://github.com/lebrancconvas/pure-mathematics-ebooks

E-Books Library for someone who interested in Pure Mathematics.

abstract-algebra e-books mathematical-analysis mathematics pure-mathematics set-theory theoretical-computer-science type-theory

Last synced: 06 Feb 2026

https://github.com/mgschoen/stable-marriage

Node.js implementation of the stable marriage problem

distribution gale-shapley-algorithm node-js stable-marriage theoretical-computer-science

Last synced: 12 Apr 2025

https://github.com/mynttt/cyk-algorithm

Java implementation of the CYK algorithm.

automata-theory cyk-algorithm java theoretical-computer-science

Last synced: 06 Apr 2025

https://github.com/cslarsen/busy-beaver

Calculates the uncomputable Busy Beaver Σ-function

busy-beavers theoretical-computer-science turing-machine

Last synced: 10 Apr 2025

https://github.com/hairyfotr/tor

Theoretical computer science (Slovene)

computer-science theoretical-computer-science

Last synced: 01 Mar 2026

https://github.com/khushiyant/mincluster

Mincluster is an essential package designed for minimizing the maximum intercluster distance in datasets. This powerful tool streamlines the process of optimizing data clustering by reducing the separation between clusters

cluster mathematical-programming theoretical-computer-science

Last synced: 12 Apr 2025

https://github.com/stevenschmatz/prufer

🌲 Memory-efficient labeled tree construction in Python

academic computer-science data-structures python theoretical-computer-science tree trees

Last synced: 31 Jan 2026

https://github.com/khushiyant/knnp

Enhanced version of the k-nearest neighbors algorithm utilizing membrane computing. kNN-P is designed for parallel and distributed computing, which can improve the performance of the original k-nearest neighbors algorithm for classification tasks.

machine-learning-algorithms python theoretical-computer-science

Last synced: 29 Oct 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/amari-calipso/helium-sort

A block merge sorting algorithm inspired by Grail Sort and focused on adaptivity

algorithm block-merge-sort block-merging c c-programming-language grailsort merge-sort mergesort sorting sorting-algorithm theoretical-computer-science

Last synced: 22 Apr 2025

https://github.com/dankolesnikov/dfatoturingmachine

Turing Machine that simulates behavior of any Deterministic Finite Automata

deterministic-finite-automata dfa theoretical-computer-science theory-of-computation turing-machine

Last synced: 08 Feb 2026

https://github.com/gyakobo/recognizing-context-free-languages-with-a-pda

The following project should define a PDA that in its turn would recognize a specific context-free language.

context-free-language proofs pushdown-automaton python3 theoretical-computer-science

Last synced: 06 Jun 2026

https://github.com/francoisschwarzentruber/reductioncatalog

Catalog of reductions between different decision problems (SAT, 3SAT, Graph coloring, etc.)

complexity-theory reduction theoretical-computer-science

Last synced: 19 Feb 2026

https://github.com/flyingworkshop/incentives-in-computer-science

Course notes for Stanford's algorithmic game theory course (CS269I: Incentives in Computer Science).

algorithmic-game-theory machine-learning open-source stanford theoretical-computer-science

Last synced: 18 Mar 2026

https://github.com/lebrancworkshop/lebranc-learn-functional-programming

I'm learning a Functional Programming by learning its pure math concepts and apply it on functional language like Haskell, Clojure, Elixir, etc.

abstract-algebra category-theory clojure elixir fsharp functional-programming haskell homotopy-type-theory javascript lambda-calculus mathematics pure-mathematics racket scala theoretical-computer-science theory-of-computation type-theory typescript

Last synced: 13 May 2025

https://github.com/lexzaiello/ic-sandbox

IC Sandbox: my aggregated interaction combinator research sandbox.

interaction-combinators parallel-computing programming-languages rust theoretical-computer-science

Last synced: 26 May 2026

https://github.com/lpapailiou/fac

A toy programming language including jflex scanner, cup parser and semantic validation. Executably by console and by gui (a toy-IDE).

automaton bnf compiler-construction cup flex flex-cup formal-language interpreter java java-8 javafx javafx-application jflex parser programming-language regex theoretical-computer-science toy-language

Last synced: 04 May 2026

https://github.com/bursasha/cpp-advanced-projects

Advanced programming and algorithmization in C++ ⚔️

algorithms-and-data-structures automata-theory avl-tree bfs cpp cvut-fit dynamic-programming grammars graph-algorithms informatics-engineering multithreading optimization-algorithms programming regular-languages stl theoretical-computer-science thread-synchronization topsort

Last synced: 03 Apr 2025

https://github.com/inaciovasquez2020/flagship-lean

Lean4 flagship repository for the Unified Rigidity Framework. Canonical module layout, invariant-first design, and CI-stable proof skeletons used across URF projects.

complexity formal-verification invariants lean lean4 logic mathlib proof-assistant rigidity theoretical-computer-science urf

Last synced: 07 Mar 2026

https://github.com/exane/ram_model

RAM Simulator (Random Access Machine). A mathematical model of real computers (Theoretical computer science)

assembly mathematics playground ram random-access-machine simulation theoretical-computer-science

Last synced: 04 Apr 2025

https://github.com/grachale/intersect_union_regular_languages

Implementation of an algorithm that enables finding the minimal deterministic finite automaton that accepts the intersection or union of languages defined by a pair of finite automata.

automata-theory cpp regular-languages theoretical-computer-science

Last synced: 25 Jun 2025

https://github.com/gyakobo/recognizing-an-email-adress-with-dfa

The following example is meant to demonstrate how a Deterministic Finite Automata(DFA) algorithm is supposed to guide identify whether a string is an email adress ending with .gov or .gr

dfa finite-state-machine njit proofs python3 theoretical-computer-science

Last synced: 28 Jun 2025

https://github.com/sourceduty/quantum

Principles, applications, and technologies of quantum science.

ai chatgpt computer-science computer-science-algorithms custom-gpt gpts quantum quantum-algorithm quantum-algorithms quantum-computing quantum-science research research-and-development science theoretical-computer-science

Last synced: 08 Aug 2025

https://github.com/j-christl/ocaml-dfa

Simple implementation of deterministic finite automata in OCaml

automata-theory deterministic-finite-automaton ocaml theoretical-computer-science

Last synced: 09 Aug 2025

https://github.com/garyhtou/languages-and-computation

Programming paradigms & features, theoretical languages, turing machines, grammars, and regular expressions.

computation-theory languages theoretical-computer-science

Last synced: 11 Jul 2026

https://github.com/linuskmr/cyk

A calculator for the Cocke-Younger-Kasami-Algorithm that determines whether a word belongs to a context-free language.

cocke-younger-kasami-algorithm cyk-algorithm dynamic-programming theoretical-computer-science

Last synced: 02 Jul 2025

https://github.com/francoisschwarzentruber/turingmachinesimulator

Simulator of a Turing machine. It handles non-deterministic Turing machines.

non-deterministic theoretical-computer-science turing-machine turing-machine-simulator

Last synced: 24 May 2026

https://github.com/chrisdalvit/zeckendorf-theorem

A formal proof of the Zeckendorf theorem in Isabelle/HOL

fibonacci-numbers fibonacci-sequence formal-verification isabelle isabelle-hol number-theory theorem-proving theoretical-computer-science

Last synced: 26 Jan 2026

https://github.com/dowlandaiello/ic-sandbox

IC Sandbox: my aggregated interaction combinator research sandbox.

interaction-combinators parallel-computing programming-languages rust theoretical-computer-science

Last synced: 11 Mar 2025

https://github.com/nixin72/cc-comp-335

COMP-335: Introduction to Theoretical Computer Science (assignments, notes, tutorials, etc.)

school theoretical-computer-science

Last synced: 21 Jan 2026

https://github.com/inaciovasquez2020/overlap-rigidity-counterexamples

Unified Capacity–Locality Problem (UCLP): a formal decision framework for bounded locality, information capacity, and progress accounting in polynomial-time computation. Includes the canonical CutStrings benchmark and URF-ADMISSIBLE criteria.

benchmarks capacity-locality complexity-theory computational-complexity cutstrings entropy-depth foundations-of-computation information-theory locality theoretical-computer-science unified-rigidity-framework urf-admissible

Last synced: 04 Apr 2026

https://github.com/flyingrobots/aion-computer-book

CΩMPUTER: The Geometry of All Possible Machines

ai-safety book catgeory-theory complex-systems computation-theory computational-physics graph-rewriting multiverse philosophy-of-computation systems-theory theoretical-computer-science

Last synced: 14 Mar 2026

https://github.com/liblor/theoretical_computer_science_ethz

Material I created as TA at ETHZ for the course "Theoretische Informatik"

ethz lecture-material theoretical-computer-science

Last synced: 09 Feb 2026

https://github.com/harmim/vut-tin-homeworks

Teoretická informatika - Domácí úkoly

automata automata-theory formal-languages languages theoretical-computer-science tin vut vut-fi

Last synced: 11 Jan 2026

https://github.com/harmim/vut-flp-project1

Functional and Logic Programming - Functional Project - SIMPLIFY-BKG

context-free-grammar flp functional-programming ghc haskell theoretical-computer-science vut vut-fit

Last synced: 15 May 2026

https://github.com/sourceduty/theoretical_experiment

👨‍🔬 Plan, develop and simulate theoretical experiments.

ai artificial-intelligence chatgpt computer-science customgpt evidence-proofing experiment experimental gpt gpts openai science science-research scientific-computing simulate simulation simulator theoretical-computer-science theory

Last synced: 31 Mar 2025

https://github.com/cartabinaria/informatica-teorica

Una raccolta di risorse per l'insegnamento di Informatica teorica (11933) del Corso di Laurea in Informatica.

course theoretical-computer-science unibo university

Last synced: 20 Jan 2026

https://github.com/sourceduty/string_theorist

⚛️ Calculate and theorize strings in particle physics for String Theory.

ai ai-science artificial-intelligence chatgpt computer-science custom-gpt custom-gpts gpt gpts openai particle-physics physics science string-theorist string-theory theoretical theoretical-computer-science theorist theory

Last synced: 28 Mar 2025

https://github.com/fabwu/eth-zusammenfassungen-hs18

Zusammenfassungen ETH Informatik HS18

eth ethz theoretical-computer-science

Last synced: 18 Feb 2026

https://github.com/sourceduty/government_model_simulator

🏛️ Plan, create and simulate comprehensive government models.

ai artificial-intelligence chatgpt custom-gpt gov govern governing government government-model gpt gpts model modelling openai simulate theoretical-computer-science theoretical-model

Last synced: 11 Jul 2025

https://github.com/danielabajirov/theo-app

A quiz app for learning and practicing theoretical computer science, specifically Computation Theory.

computational computerscience theoretical-computer-science

Last synced: 10 Feb 2026

https://github.com/sourceduty/quantum_informatics

⚛️ Simulate quantum information processing concepts.

ai artificial-intelligence computer-science concepts custom-gpts customgpt customgpts gpt informatics informatics-engineering quantum quantum-concepts quantum-informatics science sim simulated theoretical-computer-science theory

Last synced: 11 Feb 2026

https://github.com/sourceduty/virtual_model

👨‍💻 Assistive VM-theory development for virtual environments.

ai artificial-intelligence chat-gpt chatgpt custom-gpt customgpt gpt gpts openai openai-gpt theoretical theoretical-computer-science virtual virtual-dev virtual-environment virtual-model virtual-model-theory vm-theory

Last synced: 04 Apr 2025

https://github.com/tim6her/h10-over-rings-of-integers

mathematics theoretical-computer-science thesis

Last synced: 08 Apr 2026

https://github.com/harmim/vut-flp-project2

Functional and Logic Programming - Logic Project - Turing Machine

flp logic-programming prolog swi-prolog theoretical-computer-science turing-machine turing-machine-simulator vut vut-fit

Last synced: 19 Mar 2026

https://github.com/sourceduty/computational_networks

🌐 Assistive computational network model and system development.

ai artificial-intelligence chatgpt computational-network computer-science custom-gpt custom-gpts development gpt gpts model network-model network-theory networks neural-network programming system systems theoretical-computer-science theory

Last synced: 21 Jan 2026

https://github.com/sourceduty/computational_chronophysics

⚛️ An original emerging scientific concept that explores the intersection of time and physical systems through computational methods.

ai artificial-intelligence chatgpt chronophysics computational-chronophysics computational-physics computer-science custom-gpt customgpt customgpts gpt gpts new-science openai physics scientific-research theoretical-computer-science theory

Last synced: 21 Jan 2026

https://github.com/sourceduty/simulation_dev

👨‍💻 Create new models for simulation programs.

ai-programming ai-sim ai-simulator artificial-intelligence chatgpt custom-gpt developer-tools gpt gpts math-sim openai pen-and-paper programmer programming sim simulation simulations simulator theoretical-computer-science

Last synced: 04 Apr 2025

https://github.com/willgreen98/visual-path-finder

Implementation of Path-Finding Algorithms with a touch of visualisation

algorithm eclipse java javafx javafx-application javafx-gui javafx-project pathfinding pathfinding-algorithm theoretical-computer-science

Last synced: 29 Apr 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: 03 Jul 2026

https://github.com/chrisdalvit/parser

rewrite-system rewrite-systems rewriting theoretical-computer-science

Last synced: 15 Jul 2025

https://github.com/stevenschmatz/treegen

🎄 Fast and memory efficient unlabeled tree generation in Python

academic computer-science data-structures python theoretical-computer-science tree trees

Last synced: 31 Jan 2026

https://github.com/sourceduty/paradigm_modelling

Research and develop methodologies for detecting paradigm shifts in various domains.

chatgpt computer-science custom-gpt gpt gpts high-level high-level-science intelligence modelling openai paradigm paradigm-shift science science-research theoretical theoretical-computer-science theoretical-paradigm theory

Last synced: 08 Aug 2025

https://github.com/sourceduty/hypothesis

🧑‍🔬 Hypothesize, theorize and create scientific explanations.

ai ai-hypothesis artificial-intelligence computer-science custom-gpt custom-gpts gpt gpts hypotheses hypothesis hypothesis-generation hypothesize hypothesizing openai science scientific theoretical-computer-science theorize

Last synced: 08 Aug 2025

https://github.com/sourceduty/autonomous_computing

🌐 Theoretical self-managing computing models where systems operate independently to complete tasks.

artificial-intelligence automated autonomous autonomous-computing computing computing-model computing-models customgpt gpt gpts gptstore openai programmer programming self-managing self-managing-system theoretical theoretical-computer-science

Last synced: 14 Sep 2025

https://github.com/sourceduty/deep_vision_neuron

An innovative neuron model designed specifically for handling intricate image classification tasks involving nested submodules and multi-level hierarchies.

ai-imaging artificial-intelligence biomedical chatgpt computer-science custom-gpt deep-vision dvn gpt gpts imaging neural-network neural-networks neuron neuron-model openai science theoretical-computer-science