Files related to my bachelor thesis, autumn 2016, Radboud Universiteit Nijmegen.

Files related to my bachelor thesis, spring 2017, Radboud Universiteit Nijmegen.

Personal homepage

8-bit processor

Copy of https://svn.cs.ru.nl/repos/clean-code-generator/, where I implement Thumb-2 code generation.

There is no repository description file. Please, create one to remove this message.

Copy of https://svn.cs.ru.nl/repos/clean-run-time-system/, with a Thumb-2 run-time system.

Tests and tryouts for the Clean functional programming language (http://clean.cs.ru.nl).

There is no repository description file. Please, create one to remove this message.

A Telegram bot to execute Clean expressions.

Clean package manager and improved make script

There is no repository description file. Please, create one to remove this message.

Code golfing, mainly for codegolf.stackexchange.com.

A small PIC-based computer-like device

The Android app for EmojiRiddles, a game to guess stories expressed in Emoji.

The backend for EmojiRiddles, a game to guess stories expressed in Emoji.

Files related to FTR-THBA101 Exegese Oude en Nieuwe Testament, autumn 2015, Radboud Universiteit Nijmegen.

Files related to FTR-THBA103 Fundamental Theology, autumn 2015, Radboud Universiteit Nijmegen.

Files related to FTR-THBA105 Dogmatics, spring 2016, Radboud Universiteit Nijmegen.

Files related to FTR-THBA107 Geschiedenis van Kerk en Theologie 1, autumn 2016, Radboud Universiteit Nijmegen.

Files related to FTR-THBA109 Pastoraaltheologie I, autumn 2016, Radboud Universiteit Nijmegen.

Files related to FTR-THBA110 Exegese Oude Testament, spring 2016, Radboud Universiteit Nijmegen.

Files related to FTR-THBA200 Liturgics, autumn 2016, Radboud Universiteit Nijmegen.

Files related to FTR-THMA150-1 Exegesis OT: The Middle Voice, spring - autumn 2016, Radboud Universiteit Nijmegen.

Presentation about Docker for LUGN (https://linuxnijmegen.nl), October 2016

Files related to NWI-IBC003 Berekenbaarheid (Computability), autumn 2015, Radboud Universiteit Nijmegen.

Files related to NWI-IBC017 Calculus en Kansrekenen (Calculus and Probability), autumn 2015, Radboud Universiteit Nijmegen.

Files related to NWI-IBC019 Operating Systems, autumn 2015, Radboud Universiteit Nijmegen.

Files related to NWI-IBC020 Informatiesystemen (Information Systems), winter 2015, Radboud Universiteit Nijmegen.

Files related to NWI-IBC021 Networking, spring 2016, Radboud Universiteit Nijmegen.

Files related to NWI-IBC022 Network Security, autumn 2015, Radboud Universiteit Nijmegen.

Files related to NWI-IBC023 Cryptography, spring 2015, Radboud Universiteit Nijmegen.

Files related to NWI-IBC024 Software Verificatie (Software Verification), spring 2016, Radboud Universiteit Nijmegen.

Files related to NWI-IBC025 Berekeninsgmodellen (Computation Models), summer 2016, Radboud Universiteit Nijmegen.

Files related to NWI-IBC026 Semantiek en Correctheid (Semantics and Correctness), spring 2016, Radboud Universiteit Nijmegen.

Files related to NWI-IBC027 Algoritmen en Datastructuren (Algorithms and Data Structures), autumn 2015, Radboud Universiteit Nijmegen.

Files related to NWI-IBC028 Complexiteit (Complexity), summer 2016, Radboud Universiteit Nijmegen.

Files related to NWI-IBC029 and NWI-IBC030 Functioneel Programmeren, spring 2015, Radboud Universiteit Nijmegen.

Files related to NWI-IBC031 New Devices Lab, spring 2016, Radboud Universiteit Nijmegen.

Files related to NWI-IBC034 Operating Systems Security, winter 2015, Radboud Universiteit Nijmegen.

Files related to NWI-IBC035 Academisch Schrijven (Academic Writing), summer 2016, Radboud Universiteit Nijmegen.

Files related to NWI-IBC037 Recht voor Informatici, autumn 2016, Radboud Universiteit Nijmegen.

Files related to NWI-IBI008 Data Mining, autumn 2015, Radboud Universiteit Nijmegen.

A SPI Wifi controller using the Photon