theoretical-computer-science
There are 11 repositories under theoretical-computer-science topic.
- awesome-deep-rl
tigerneil / awesome-deep-rl
For deep RL and the future of AI.
Language:HTML 1483 mostafatouny / awesome-theoretical-computer-science
Math & CS Awesome List, distinguished by proof and logic and technique
Language:Python 958knowsys / FormaleSysteme
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
Language:TeX 52Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
Language:TeX 24bitkeks / 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
Language:TeX 18lebrancconvas / Pure-Mathematics-EBooks
E-Books Library for someone who interested in Pure Mathematics.
- Language:TeX 15
cslarsen / busy-beaver
Calculates the uncomputable Busy Beaver Σ-function
Language:Python 11mgschoen / stable-marriage
Node.js implementation of the stable marriage problem
Language:JavaScript 11mynttt / CYK-algorithm
Java implementation of the CYK algorithm.
Language:Java 10ShrohanMohapatra / matrix_multiply_quadratic
This source code (in Python) is a preliminary implementation of my quadratic-time positive integer matrix multiplication.
cellular-automatamatrix-multiplicationcomplexity-analysiscomplexity-theorycomplexity-algorithmcomplexity-measurealgebraic-computationinteger-arithmeticinteger-compressionpython3diophantinealgorithm-designadvanced-algorithmsalgorithms-implementedmatrix-multiplication-paralleldivide-and-conquer-approachtheoretical-computer-scienceLanguage:Python 10Cirice / 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
Language:C++ 9- Language:TeX 8
- Language:CSS 7
ericung / languageofpolynomials
A language of polynomials.
Language:HTML 6Khushiyant / 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
Language:Python 6- Language:TeX 6
wavelength-ide / wavelength-ide
A browser-based IDE for the untyped lambda calculus. Try it:
Language:Java 6alanknguyen314 / 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...
Language:Jupyter Notebook 5This article provides examples of monomial deciders, monomial generators, and picking functions and the methods to develop them.
Language:C# 5Enhanced 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.
Language:Python 5SerenGTI / Theo_Inf
Zusammenfassung zu den Modulen Theoretische Informatik 1 bis 3 an der Universität Stuttgart
Language:TeX 5stevenschmatz / prufer
🌲 Memory-efficient labeled tree construction in Python
Language:Python 5amari-calipso / Helium-Sort
Migrated to https://git.a-a.dev/amari/Helium-Sort
Language:C 4Dashon-Hawkins / computer-science
:mortar_board: Path to a free self-taught education in Computer Science!
computer-scienceonline-learningtheoretical-computer-scienceprogramming-languagesimperative-programmingprocedural-programmingfunctional-programmingcmemory-managementalgorithms-datastructurespythonsqlhtml-css-javascriptdesign-for-testabilitydesign-patternsunit-testingadvanced-programmingjavaobject-oriented-programmingadvanced-mathematicsorrp / theory-of-umt
Experiments accompanying A Theory of Unsupervised Translation Motivated by Understanding Animal Communication (NeurIPS 2023)
Language:Python 4- Language:Python 4
dankolesnikov / DFAtoTuringMachine
Turing Machine that simulates behavior of any Deterministic Finite Automata
doublejun12 / Notes-about-TCS
"我估计你书也难以看懂"
Language:TeX 3francoisschwarzentruber / reductioncatalog
Catalog of reductions between different decision problems (SAT, 3SAT, Graph coloring, etc.)
Language:JavaScript 3- Recognizing-an-email-adress-with-DFA
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
Language:Python 3 - 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.
Language:Python 3 linuskmr / cyk
A calculator for the Cocke-Younger-Kasami-Algorithm that determines whether a word belongs to a context-free language.
Language:JavaScript 3Pyrofoux / why-oatmeal-is-cheap
"Why Oatmeal is Cheap" paper + interactive visualization
Language:HTML 3Some 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.
cellular-automatagame-of-lifegame-of-life-pythonmultithreadingparallel-computingparallel-programmingwolfram-languagewolfram-mathematicasoftware-engineeringsoftware-testing-toolsinput-validationdomain-driven-designmathematical-programminglie-algebralie-groupstwo-dimensionalfeynman-diagramstheoretical-computer-scienceLanguage:Mathematica 3
