For deep RL and the future of AI.

The interdicplinary of Mathematics and Computer Science, Distinguisehed by its emphasis on mathemtical technique and rigour.

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

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

Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten

Book reading

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

Node.js implementation of the stable marriage problem

Java implementation of the CYK algorithm.

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

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

A collection of ML questions and answers

Theoretical computer science (Slovene)

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

Calculates the uncomputable Busy Beaver Σ-function

A browser-based IDE for the untyped lambda calculus. Try it:

🌲 Memory-efficient labeled tree construction in Python

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.

🎓 Path to a free self-taught education in Computer Science!