Explore projects

The Temporal Logic Wizard

A virtual machine with an extremely simplified architecture for teaching purpose

Animated code & data structures with LaTeX/beamer

Python helper library to generate AMC exams

The Tiny Computer