Ptolemy's repositories
squarecord
Custom Discord CSS to get rid of ugly circles and replace them with squares that have rounded corners.
application-plugin
Application Plugin for the Discord Hotline bot
changelogger
Generates changelogs out of the solder API
core-plugin
Core Plugin for the Discord Hotline bot
hackathon-starter
A boilerplate for Node.js web applications
LauncherCore
LauncherCore - API Connection and Services
LauncherV3
Custom launcher that automatically downloads and updates modpacks
Minecraft-Region-Fixer
Python script to fix some of the problems of the Minecraft save files (region files, *.mca).
OpenDungeons
Open source game inspired by Dungeon Keeper - Dark, damp and dangerous...
report-plugin
Report Plugin for the Discord Hotline bot
sorted_set_nif
Elixir SortedSet backed by a Rust-based NIF
tinyraytracer
A brief computer graphics / rendering course
training-kit
Open source on demand courses and cheat sheets for Git and GitHub
WorldPainter
WorldPainter is an interactive graphical map generator for the indie game Minecraft.