David Schulte

PlayMusicExporter. This Android app exports your Play Music mp3 files directly to your sdcard.

instagram-video-control. Adds video playback controls to Instagram.

libpgs-js. Renderer for graphical subtitles (PGS) in the browser.

minecraft-web-viewer. Web viewer to visualize your Minecraft worlds in 3D

media-ripper. Graphical application to archive movies and shows from BluRays.

DiscordMusicPlayer. A small Windows application that can play your local music library in a Discord voice channel using your own Discord bot.

MinecraftTabPatcher. This tool fixes a bug in Minecraft 1.13 and 1.14 where you are unable to close the inventory if you use 'tab' as your inventory key.

peer-share. Website for simple and fast peer-to-peer file sharing using WebRTC.