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 1375 mostafatouny / awesome-theoretical-computer-science
The interdicplinary of Mathematics and Computer Science, Distinguisehed by its emphasis on mathemtical technique and rigour.
Language:Python 600knowsys / FormaleSysteme
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
Language:TeX 42Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
Language:TeX 22bitkeks / 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 18- Language:TeX 14
lebrancconvas / Pure-Mathematics-EBooks
E-Books Library for someone who interested in Pure Mathematics.
mgschoen / stable-marriage
Node.js implementation of the stable marriage problem
Language:JavaScript 11fcortes / turing-machine-simulator
Simple turing machine simulator using the syntax of the online simulator at turingmachinesimulator.com
Language:C++ 9mynttt / CYK-algorithm
Java implementation of the CYK algorithm.
Language:Java 9ShrohanMohapatra / 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 9Cirice / Machine-Learning-KnowledgeBase
A collection of ML questions and answers
- Language:TeX 8
cslarsen / busy-beaver
Calculates the uncomputable Busy Beaver Σ-function
Language:Python 7Khushiyant / 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 7- Language:TeX 6
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.
Language:Python 5stevenschmatz / prufer
🌲 Memory-efficient labeled tree construction in Python
Language:Python 5alanknguyen314 / 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 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-mathematicsSerenGTI / Theo_Inf
Zusammenfassung zu den Modulen Theoretische Informatik 1 bis 3 an der Universität Stuttgart
Language:TeX 4wavelength-ide / wavelength-ide
A browser-based IDE for the untyped lambda calculus. Try it:
Language:Java 4- Language:Python 4
dankolesnikov / DFAtoTuringMachine
Turing Machine that simulates behavior of any Deterministic Finite Automata
doublejun12 / Notes-about-TCS
"我估计你书也难以看懂"
Language:TeX 3ericung / InferrableLanguages
Inferrable Languages
Language:CSS 3francoisschwarzentruber / reductioncatalog
Catalog of reductions between different decision problems (SAT, 3SAT, Graph coloring, etc.)
Language:JavaScript 3orrp / theory-of-umt
Experiments accompanying A Theory of Unsupervised Translation Motivated by Understanding Animal Communication (NeurIPS 2023)
Language:Python 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 3arnemileswinter / haskell-mu-recursive
Simple implementation of Mu-Recursive (or µ-recursive) functions in haskell, with the calculation steps logged.
Language:Haskell 2A language of polynomials
Language:HTML 2LebrancWorkshop / 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.
Language:JavaScript 2A series of programs that enable one's investigations in the algebraic complexity theory such as matrix multiplication algorithms, primality tests, algebraic complexity, sorting algorithms etc. Each algorithm is accompanied by a comparative time complexity analysis and a class of test cases and test suites.
algebraic-computationprimality-testmatrix-multiplicationkaratsuba-multiplicationrazs-algorithmalgorithmsalgorithm-designcomplexity-theorycomplexity-analysiscomplexity-measureunit-testingunittestsorting-algorithmsradix-sortpython3wolfram-languagewolfram-mathematicatheoretical-computer-sciencewinogradsoftware-testingLanguage:Mathematica 2A Mathematica package by the name 'Polynomial adaptive cellular automata' to get the quasi-normal modes for the particles oscillating in the background of a black hole.
Language:Mathematica 2A set of python programs that can be used by early learners of the Mathematical Foundations of Computer Sciences (courtesy: Introduction to the Theory of Computation by Michael Sipser)
Language:Python 2
