For the last few years I have been mostly teaching the "DSLsofMath" course (see the project page), but I have also supervised BSc- and MSc-thesis projects.
Domain-Specific Languages of Mathematics
BSc level course Domain-Specific Languages of Mathematics (course code DAT326 at Chalmers and DIT982 at UGOT).
BSc projects on "DSLsofMath for other courses"
A recurring BSc project theme for the last few years: develop you own DSLsofMath-inspired material for a topic of your choice.
