For deep RL and the future of AI.

Math & CS Awesome List, distinguished by proof and logic and technique

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

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

Book reading

Calculates the uncomputable Busy Beaver Σ-function

Node.js implementation of the stable marriage problem

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

Java implementation of the CYK algorithm.

A collection of ML questions and answers

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

Theoretical computer science (Slovene)

Inferrable Languages

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

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

A language of polynomials.

Zusammenfassung zu den Modulen Theoretische Informatik 1 bis 3 an der Universität Stuttgart