Some software I’ve written or helped writing:
- RELIC: Cryptographic toolkit
- Quivi: Image viewer and comic / manga reader
- Custom MSPsim: a customized version of a MSP430 simulator
- Authenticated encryption library for the MSP430
- Unicode Input by Name: Unicode input tool which allows searching for characters by their names
- PetriKit: Modular toolkit for Petri Net analysis