Lorenz's repositories
chat-roulette
A text-only chat roulette implementation in pure Kotlin.
id3parse.py
An ID3v2 parser and writer for Python 3
coop-mobile
An unofficial app to query information about your Coop Mobile Prepaid plan.
DOI2BibTeX
ST3 plugin that converts a DOI into a BibTeX entry.
Language:PythonGPL-3.0000
passio-backend
A Java backend for passio.
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
i3status-rust
Very resourcefriendly and feature-rich replacement for i3status, written in pure Rust
kotlin-telegram-bot
🤖 A wrapper for the Telegram Bot API written in Kotlin
Language:KotlinApache-2.0000
speakerctl
Automatically turn your speakers on if sound is playing.