theoretical-computer-science
There are 143 repositories under theoretical-computer-science topic.
tigerneil/awesome-deep-rl
For deep RL and the future of AI.
mostafatouny/awesome-theoretical-computer-science
Math & CS Awesome List, distinguished by proof and logic and technique
knowsys/FormaleSysteme
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
knowsys/TheoLog
Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
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
lebrancconvas/Pure-Mathematics-EBooks
E-Books Library for someone who interested in Pure Mathematics.
Shlw/Books-and-Exercises
Book reading
mgschoen/stable-marriage
Node.js implementation of the stable marriage problem
cslarsen/busy-beaver
Calculates the uncomputable Busy Beaver Σ-function
mynttt/CYK-algorithm
Java implementation of the CYK algorithm.
ShrohanMohapatra/matrix_multiply_quadratic
This source code (in Python) is a preliminary implementation of my quadratic-time positive integer matrix multiplication.
Cirice/Machine-Learning-KnowledgeBase
A collection of ML questions and answers
fcortes/turing-machine-simulator
Simple turing machine simulator using the syntax of the online simulator at turingmachinesimulator.com
HairyFotr/TOR
Theoretical computer science (Slovene)
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
ericung/InferrableLanguages
Inferrable Languages
wavelength-ide/wavelength-ide
A browser-based IDE for the untyped lambda calculus. Try it:
alanknguyen314/ai-machine-learning
🤖 A public repository for my machine learning notes. This will also contain lectures and sample data sets that I have gathered from various sources, including CS229 (Stanford), CS542 (BU), MLS (deeplearning.ai), 6.036 (MIT), and more...
ericung/languageofpolynomials
A language of polynomials.
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.
SerenGTI/Theo_Inf
Zusammenfassung zu den Modulen Theoretische Informatik 1 bis 3 an der Universität Stuttgart
stevenschmatz/prufer
🌲 Memory-efficient labeled tree construction in Python
amari-calipso/Helium-Sort
A block merge sorting algorithm inspired by Grail Sort and focused on adaptivity
Dashon-Hawkins/computer-science
:mortar_board: Path to a free self-taught education in Computer Science!
ericung/AnalysisOfFibonacci
This article provides examples of monomial deciders, monomial generators, and picking functions and the methods to develop them.
orrp/theory-of-umt
Experiments accompanying A Theory of Unsupervised Translation Motivated by Understanding Animal Communication (NeurIPS 2023)
zaz/turing
A Python library for working with Turing machines
dankolesnikov/DFAtoTuringMachine
Turing Machine that simulates behavior of any Deterministic Finite Automata
doublejun12/Notes-about-TCS
"我估计你书也难以看懂"
francoisschwarzentruber/reductioncatalog
Catalog of reductions between different decision problems (SAT, 3SAT, Graph coloring, etc.)
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
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.
linuskmr/cyk
A calculator for the Cocke-Younger-Kasami-Algorithm that determines whether a word belongs to a context-free language.
Pyrofoux/why-oatmeal-is-cheap
"Why Oatmeal is Cheap" paper + interactive visualization
ShrohanMohapatra/GameOfLifeALISP
Some work on the paper, "Automated Lie-algebraic input space partitioning using first-order two-dimensional cellular automata" by me (Shrohan Mohapatra. (2020, June 5). Automated Lie-algebraic input space partitioning using first-order two-dimensional cellular automata. Zenodo. http://doi.org/10.5281/zenodo.3880404), here in the specific example with Game of Life for automated Lie-algebraic input space partitioning.