Second rewrite of HubThat's source code. Buggy and unstable.
Updated 2022-05-31 00:24:25 +02:00
First HubThat's public source code from 2014. Buggy and unstable.
Updated 2022-05-31 01:04:33 +02:00
A hub for one world, a spawn for each world!
Updated 2023-02-12 16:04:06 +01:00
A friendly general-purpose Discord bot

Updated 2023-02-11 17:10:56 +01:00
Simple plugin that hooks into GriefPrevention and QuickShop to allow building shops in player claims.
Updated 2023-02-12 16:03:48 +01:00
Fix GNOME's "duplicate cursor" fractional scaling bug.
Updated 2022-06-01 01:00:42 +02:00
Tiny Java tool to fix incorrectly ordered files.
Updated 2022-06-01 01:01:12 +02:00
[WIP] Alternative commenting system for online websites and blogs
Updated 2022-05-31 21:08:11 +02:00
Repository where I store Arduino projects I work on. Most of them are missing.
Updated 2022-05-31 00:44:12 +02:00