A new markup-based typesetting system that is powerful and easy to learn.

A Minecraft mod designed to improve frame rates and reduce micro-stutter

Display and control your Android device

KeY Theorem Prover for Deductive Java Verification

Pretty Viewer for JSON logs

egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

Fast and multi-platform Spotify client with native GUI

Private Plugins of the "Kreis der Freude" community for the TS3AudioBot