Ridan Vandenbergh

KAMI. Minecraft utility mod aimed at anarchy servers

rustbar. A wayland status bar written in rust using GTK

kape. Kotlin shape, an attempt at immediate mode GUI

tt-lectures. Source code for student lectures on dependent type theory.

BotFramework. Advanced minecraft bot framework

practris. Rust

polymodo. Rust

fiber-dsl. A kotlin DSL extension for https://github.com/DaemonicLabs/fiber

aoc-2022. Prolog

jtcui. A dependencyless UI library

icon. Reality-compliant rust crate to find icons on linux with ease.

RandomCoords. 1.12.1 Fork of bukkit plugin RandomCoords

remote-party-finder. Rust

mapartbot. A discord bot for converting blocks in a minecraft schematica

discord-markov. A rust program to extract messages from a discord data package, and then produce markov chains from it

server-simplified. A fabric mod that adds basic staff commands for server owners

findersfilter. Dalamud plugin to filter the party finder based on current party makeup

WindowTricks. Dalamud plugin to change the native UI's behaviour, such as adding transparency to windows.

zeroeightysix. GitHub Profile README

rust-web-image. Web server serving image transformations in Rust

Namefinder. Lightning fast name generator & mojang name availability checker

francis. Francis minecraft & discord bot source code

icon-cache. Complete and user-friendly zero-copy wrappers for the GTK icon cache in rust

java-mass-move. A small tool to rename files using regular expressions