Welcome!

I'm a MSc Student at TU Delft and embedded software engineer.
Currently working on cool IoT stuff. Soon starting my MSc thesis.

Publications

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.

Old Projects

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.

MotorScript v1 source code and documentation; licensed under Apache License 2.0.
MotorScript v2-rework source code and half-baked documentation.
Gazebo ("v3" with Spoofax) source code and technical report.

CDMLLoader

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.

CurseForge page.
Source code; licensed under MIT.