(Search) Trees
traverse, insert/delete from binary-tree, avl-tree, heap, b-tree
Statement Logic
Truth-Table / KV-Maps / CMOS implementations / CNF/DNF / ..
Lambda Calculus
Step-by-step β-reduction
Simply-Typed Lambda Calculus
perform Natural Deduction of Types
Automata
Regular Expression to NFA (more soon)
Parsing
CYK / LL(1)
WHILE interpreter
Run WHILE programs.
Write programs in a python-ish language and compile it to WHILE(/LOOP).