odds & ends
Latex Note Importer for Anki
Anki is a flash card program with LaTeX support. However, writing and debugging LaTeX within Anki can be a pain. I have written this small add-on so that I can create LaTeX flash cards in my favourite IDE and then import these into Anki. For example, the add-on greatly simplified the creation of the Anki decks available on my teaching page
A python script providing a “synchronization indicator” for the file synchronzation software Unison on Ubuntu (emulating the GUI of dropbox)
A toy OPP that displays every step of its calculations on the screen.
- Angels (inspired by Paul Klee)