This is the Personality Core for GLaDOS, the first steps towards a real-life implementation of the AI from the Portal series by Valve.

A fancy self-hosted monitoring tool

perfect programming language

Sane interface to moodle

Open-source tool to enforce privacy & security best-practices on Windows, macOS and Linux, because privacy is sexy

Infomaniak DNS Authenticator plugin for certbot

VR mod for Minecraft. For Version 1.15.X http://www.vivecraft.org

EPFL Interactive Coursebook

Font for sitelen pona

A small, single-file library for creating DiscordApp clients from Node.js or the browser