The purpose of the projects below is to build bespoke tools that can be used in the class room for teaching mathematics and theoretical computer science via puzzles and games as well as to create seeds that can be used for teaching the development of free and open source software (FOSS) projects.
Remark on LLMs: While it has always been known that implementing theoretical computer science (TCS) is a great way to learn and understand the concepts, before the advent of LLMs most TCS courses were taught “pen-and-paper”. I expect that teaching theory together with implementations will become more and more common now.
As an interface to LLMs I use Aider and Cursor.
In my course on Programming Languages we build interpreters for small programming languages based on lambda calculus. I plan to make more links available here.