Math & CS Awesome List, distinguished by proof and logic and technique
Calculates the uncomputable Busy Beaver Σ-function
This source code (in Python) is a preliminary implementation of my quadratic-time positive integer matrix multiplication.
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
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.
🌲 Memory-efficient labeled tree construction in Python
A Python library for working with Turing machines
Experiments accompanying A Theory of Unsupervised Translation Motivated by Understanding Animal Communication (NeurIPS 2023)
The following project should define a PDA that in its turn would recognize a specific context-free language.
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
A 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)
🔮 Playing around with deterministic & non deterministic finite state automatas
Programming paradigms & features, theoretical languages, turing machines, grammars, and regular expressions.
20 hours of Theoretical Computer Science
Simple analysis and model checking tool for finite discrete time-homogeneous Markov chains. Model checks PCTL properties and computes transient and steady state distribution.
A Python based interpreter, implementing lexer and parser. It supports variables, functions, conditionals, loops, and input/output operations.
Project where I try to implement concepts of Computer Science using programing languages like python
Laboratory exercises for the Introduction to Theoretical Computer Science course written in Python.
The framework of the future
Add a description, image, and links to the theoretical-computer-science topic page so that developers can more easily learn about it.
To associate your repository with the theoretical-computer-science topic, visit your repo's landing page and select "manage topics."