You will always find a more complete list at github, but here are some interesting projects I contributed to:
- Evidence-producing problem solvers in Agda: my final year project at the University of Strathclyde.
- Language of Shakespeare’s Plays: joint undergraduate English-CIS text analysis project.
- antxetamedia: website for a local basque radio station.
- snorkels-hs: implementation of a strategic board game written in haskell.
- An introduction to GPG: small introduction to GPG, in Spanish.
- Django: the python web framework with too many features.
- lightweight-motion: lightweight RPi-ready motion detection for USB and HTTP(S) cameras.