Wouter's starred repositories
manim-slides
Tool for live presentations using manim
Tarskis-World
Simple Unity "game" to help you practice with predicate logic.
Untitled-Bead-Game
A tiny puzzle game about transforming strings of beads made in x86 assembly that you can play in your terminal
Derivatives
Repository for Derivatives KTaNE mod