Software

Over the years I have worked on lots of software projects, such as:

Websites

Exercism.org: an online platform designed to help you improve your coding skills through practice and mentorship. Here are links to some of my contributions:
- Website
- GitHub Actions
- configlet
- Many tracks, including C#, F#, Prolog, R, [Uiua](https://github.com/exercism/uiua /commits?author=ErikSchierboom), and more
- Any much more…
iCheckMovies: a website that allows people to keep track of what movies they have seen.

Contributions

I try to open-source as much of my code as possible. If you want to see more, please visit my GitHub profile.

Libraries

MoviePosterDB library: a library to access the movie poster DB API.
JSON.NET custom contract resolver: a custom contract resolver for JSON.NET to control what properties get serialized.
Knockout paging: a Knockout extender that adds paging functionality to observable arrays.
Knockout pre-rendered: allows Knockout to be initialized from pre-rendered content (HTML).

Demo applications

RequireJS tutorial: step-by-step introduction to RequireJS.
Client-side globalization: shows how to do globalization on the client.
Custom OAuth client: explains how to create a custom OAuth client for use in ASP.NET websites.

Apps

Address book app: an iOS and Android application to access the public contact data of Radboud University employees.
PV Discount app: an iOS and Android application to allow PV Radboud members to see at which companies they can get a discount.

Tools

MPWinamp: a plug-in to allow automatic updating of your MSN nickname based on what song was playing in Winamp. Disclaimer: my first public source code, so please don’t judge my coding skills by this code :)

Miscellaneous

Thesis: contains the LaTeX source of my master’s thesis, as well as the PVS definitions and proofs that go with it.