8000

#

theoretical-computer-science

Here are 219 public repositories matching this topic...

awesome-deep-rl

tigerneil / awesome-deep-rl

For deep RL and the future of AI.

Updated Mar 1, 2024
HTML

mostafatouny / awesome-theoretical-computer-science

Math & CS awesome List, distinguished by proof and logic technique

computer-science lists list awesome mathematics awesome-list theoretical-computer-science theory-of-computation

Updated Jan 30, 2026
Python

knowsys / FormaleSysteme

Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden

automata german regular-expression teaching complexity turing-machine theoretical-computer-science propositional-logic formal-languages teaching-materials

Updated May 22, 2026
TeX

knowsys / TheoLog

Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden

german first-order-logic teaching complexity turing-machine theoretical-computer-science teaching-materials

Updated Aug 19, 2026
TeX < 10BC0 /span>

lebrancconvas / Pure-Mathematics-EBooks

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

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

Updated Oct 24, 2021

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

university german logic theoretical-computer-science lecture-notes

Updated Jul 22, 2017
TeX

Shlw / Books-and-Exercises

Book reading

theoretical-computer-science

Updated Jun 5, 2020
TeX

dougdotcon / TamesisTheoryCompleteResearchArchive

This repository contains the complete source code, derivations, and simulation engines for the Tamesis Theory, a unified framework proposing a structural closure to physics via holographic spacetime topology. The project is organized into three irreversible stages, representing the evolution from theoretical proposal to falsifiable system.

Updated Aug 23, 2026
Python

marcherschel / CYK-algorithm

Java implementation of the CYK algorithm.

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

Updated Feb 26, 2020
Java

mgschoen / stable-marriage

Node.js implementation of the stable marriage problem

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

Updated Nov 19, 2017
JavaScript

cslarsen / busy-beaver

Calculates the uncomputable Busy Beaver Σ-function

turing-machine theoretical-computer-science busy-beavers

Updated May 23, 2016
Python

ShrohanMohapatra / matrix_multiply_quadratic

This source code (in Python) is a preliminary implementation of my quadratic-time positive integer matrix multiplication.

cellular-automata python3 matrix-multiplication integer-compression theoretical-computer-science algorithms-implemented algebraic-computation integer-arithmetic complexity-analysis algorithm-design complexity-measure complexity-theory advanced-algorithms diophantine matrix-multiplication-parallel complexity-algorithm divide-and-conquer-approach

Updated Nov 23, 2022
Python

Cirice / Machine-Learning-KnowledgeBase

A collection of ML questions and answers

computer-science machine-learning ml machinelearning theoretical-computer-science

Updated Feb 2, 2023

fcortes / turing-machine-simulator

Simple turing machine simulator using the syntax of the online simulator at turingmachinesimulator.com

turing-machine theoretical-computer-science turing-machine-simulator theory-of-computation

Updated Oct 15, 2024
C++

boofun

GabbyTab / boofun

A toolkit for teaching, learning, and doing research in Boolean function analysis. Fourier analysis, property testing, query complexity, hypercontractivity, pseudorandomness, and more

python machine-learning research educational combinatorics theoretical-computer-science fourier-analysis property-testing complexity-theory query-complexity boolean-functions

Updated Aug 17, 2026
Jupyter Notebook

HairyFotr / TOR

Theoretical computer science (Slovene)

computer-science theoretical-computer-science

Updated Aug 18, 2016
TeX

orrp / theory-of-umt

Experiments accompanying A Theory of Unsupervised Translation Motivated by Understanding Animal Communication (NeurIPS 2023)

theoretical-computer-science neurips unsupervised-translation

Updated Oct 20, 2023
Python

ericung / InferrableLanguages

Inferrable Languages

theoretical-computer-science

Updated Jul 1, 2024
CSS

yonggangjiang / tcs-prover

Agentic TCS proof search with statement review, persistent authoring, independent criticism, and LaTeX editing.

theorem-proving theoretical-computer-science codex ai-agents

Updated Aug 20, 2026
Python

SerenGTI / Theo_Inf

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

theoretical-computer-science formal-languages automata-theory complexity-theory computability-theory

Updated Feb 28, 2019
TeX

Improve this page

Add a description, image, and links to the theoretical-computer-science topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the theoretical-computer-science topic, visit your repo's landing page and select "manage topics."

0