I'm a MSc Student at TU Delft and embedded software engineer.
Currently working on cool IoT stuff. Soon starting my MSc thesis.
- 2022, June. BSc thesis "Extracting LLVM Intermediate Representation from Agda": paper, accompanying poster and proof-of-concept source code.
- 2022, November. Honours Programme Bachelor report "A Domain-Specific Language for Minecraft": technical report and accompanying implementation source code.
The MotorScript/Gazebo Saga
An experimental general-purpose programming language targeting the Minecraft functions/data pack platform.
I've created developed proof-of-concept versions over the course of several years, as listed below.
The source code is released for demonstrative purposes only, 'all rights reserved', unless specified otherwise.
CDMLLoader is a Minecraft mod using Forge that extends the Device Mod to have Java FX-like GUI files.
You can find some samples in the repository.