![[portrait]](images/cj_256.jpg)
Here are some miscellaneous hobby projects I've worked on:
| 2016 | vscoq | An extension for vscode that provides an IDE for interactive, asynchronous proofs in the Coq proof assistant. (Typescript) |
| 2016 | Prettify symbols mode | [github] An extension for vscode to change how user-specified keywords and symbols are rendered, e.g. by replacing them with nicer-looking unicode symbols. Inspiration comes from the original prettify-symbols-mode of Emacs 24.4. (Typescript) |
| 2012 | Instrument/pitch tuner | Software for tuning musical instruments. Fun with time-domain signal processing. (C#) |
| 2012 | OCRSearch | A mobile app that lets a user take pictures and automatically highlights any occurrences of search terms. (C#) |
| 2011 | Cuties | A mobile game that mixes Tamagotchi digital pets with travelling gnomes. (C#) |
| 2006 | InkTactics | A TabletPC stylus-based real-time strategy game; team project. (C#) |
| 2006 | Reverse engineering | Wrote an SD card driver for homebrew programs on the Nintendo DS. (ARM) |
| 2003 | Reverse engineering | Created an IR remote control interface by reverse-engineering its drivers. (x86) |
| 2000-2002 | Grapher | A graphing calculator. Achievements: N-space projection, more than 10,000 downloads and translations into a few foreign languages. (C,Win32) |